summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
2023-11-04No lifetime on PlaceholderConstMichael Goulet-5/+5
2023-10-30Some more coroutine renamingsMichael Goulet-15/+15
2023-10-27Make `gen` blocks implement the `Iterator` traitOli Scherer-1/+47
2023-10-23Make ICE a bit more informativeOli Scherer-3/+12
2023-10-20s/generator/coroutine/Oli Scherer-6/+6
2023-10-20s/Generator/Coroutine/Oli Scherer-7/+7
2023-10-18AliasTy::new instead of tcx methodlcnr-4/+4
2023-10-17Fix a performance regression in obligation deduplication.Nicholas Nethercote-4/+4
2023-09-29a small wf and clause cleanuplcnr-1/+1
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-2/+0
2023-09-20remove `impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyProjectionPredicat...Ziru Niu-1/+1
2023-09-13make the eval() functions on our const types return the resulting valueRalf Jung-1/+1
2023-08-30Permit recursive weak type aliasesOli Scherer-1/+20
2023-08-08Only dedup obligation after new ones have been added.Nicholas Nethercote-4/+4
2023-08-08Size the `deduped` set appropriately.Nicholas Nethercote-1/+1
2023-08-08Simplify the boolean logic in a closure.Nicholas Nethercote-6/+1
2023-08-02Remove constness from `TraitPredicate`Deadbeef-5/+3
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-5/+3
2023-07-25Make everything builtin!Michael Goulet-13/+15
2023-07-25Restore tuple unsizing feature gateMichael Goulet-2/+4
2023-07-16Check GAT, IAT, and weak type where clauses during projectionMichael Goulet-3/+11
2023-07-16Add support for inherent projectionsMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-53/+48
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-153/+2
2023-07-06Separate select calls that don't need a binderMichael Goulet-9/+8
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-13/+19
2023-07-05Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obkMichael Goulet-0/+2
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-14/+14
2023-07-04 -Ztrait-solver=next: stop depending on old solverlcnr-0/+2
2023-07-03reviewlcnr-1/+7
2023-07-03`deeply_normalize` pass in fulfill cx for old solverlcnr-11/+10
2023-07-03add deep normalization via the new solverlcnr-4/+42
2023-06-29Auto merge of #113108 - compiler-errors:normalize-opaques-with-late-bound-var...bors-5/+1
2023-06-28Rollup merge of #112867 - compiler-errors:more-impl-source-nits, r=lcnrDylan DPC-3/+1
2023-06-27Normalize opaques with escaping bound varsMichael Goulet-5/+1
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-5/+3
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-1/+1
2023-06-21Don't substitute a GAT that has mismatched generics in OpaqueTypeCollectorMichael Goulet-41/+1
2023-06-21Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnrNilstrieb-1/+1
2023-06-20yeet ImplSource::TraitAlias tooMichael Goulet-3/+1
2023-06-20Auto merge of #112320 - compiler-errors:do-not-impl-via-obj, r=lcnrbors-0/+4
2023-06-20Merge attrs, better validationMichael Goulet-0/+4
2023-06-19s/Clause/ClauseKindMichael Goulet-1/+1
2023-06-17Remove even more redundant builtin candidatesMichael Goulet-11/+23
2023-06-17Simplify even more candidatesMichael Goulet-16/+28
2023-06-17Simplify some impl source candidatesMichael Goulet-6/+2
2023-06-17Remove some ImplSource candidatesMichael Goulet-3/+2
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-1/+26
2023-06-14remove drain-on-drop behavior from vec::DrainFilter and add #[must_use]The 8472-3/+3
2023-06-02No more TyCtxt::lazy_normalizationMichael Goulet-1/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 10:47:45 +0000