about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
2023-12-18Check FnPtr/FnDef built-in fn traits correctly with effectsMichael Goulet-7/+32
2023-12-15Annotate some bugsMichael Goulet-17/+23
2023-12-14update use of feature flagslcnr-1/+1
2023-12-08Implement `async gen` blocksMichael Goulet-3/+63
2023-12-06Yeet PolyGenSigMichael Goulet-40/+37
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-2/+2
2023-11-25Get rid of infer vars in inherent assoc types selection by using probeSantiago Pastorino-1/+12
2023-11-24Make PlaceholderReplacer shallow_resolver when folding const and ty and recur...Santiago Pastorino-4/+18
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-5/+5
2023-11-13continue renaminglcnr-2/+2
2023-11-13rename `ReLateBound` to `ReBound`lcnr-5/+5
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-22 08:48:40 +0000