about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2023-10-20s/Generator/Coroutine/Oli Scherer-33/+33
2023-10-18Auto merge of #116887 - lcnr:alias-ty-constructor, r=compiler-errorsbors-1/+1
2023-10-18AliasTy::new instead of tcx methodlcnr-1/+1
2023-10-18revert rust-lang/rust#114586Ali MJ Al-Nasrawy-21/+2
2023-10-15Auto merge of #116688 - compiler-errors:rustfmt-up, r=WaffleLapkin,Nilstriebbors-1/+2
2023-10-13explicitly handle auto trait leakage in coherencelcnr-14/+19
2023-10-13Format all the let chains in compilerMichael Goulet-1/+2
2023-10-05Do not assert that hidden types don't have erased regions.Camille GILLOT-3/+0
2023-10-02Rename both of the Match relationsMichael Goulet-1/+2
2023-09-24Remove span from BrAnon.Camille GILLOT-4/+5
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-36/+7
2023-09-23Fold lifetimes before substitution.Camille GILLOT-14/+14
2023-09-21Move `DepKind` to `rustc_query_system` and define it as `u16`John Kåre Alsaker-2/+3
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-3/+4
2023-09-11Auto merge of #114586 - oli-obk:patch_tait_rpit_order_check, r=lcnr,compiler-...bors-2/+21
2023-09-11Bubble up opaque <eq> opaque operations instead of picking an orderOli Scherer-2/+21
2023-09-02Do not require associated types with Self: Sized to uphold bounds when confir...Michael Goulet-3/+3
2023-09-02RPITITs are considered object-safe, they're always on Self:Sized methodsMichael Goulet-0/+3
2023-08-28Auto merge of #115326 - matthiaskrgr:rollup-qsoa8ar, r=matthiaskrgrbors-5/+6
2023-08-28Better error message for object type with GATMichael Goulet-1/+1
2023-08-27More precisely detect cycle errors from type_of on opaqueMichael Goulet-5/+6
2023-08-15more nitsMichael Goulet-12/+21
2023-08-15Reuse the selection context, compute failing obligations first in ambig modeMichael Goulet-12/+13
2023-08-15nitsMichael Goulet-3/+3
2023-08-15Implement lint against coinductive impl overlapMichael Goulet-3/+33
2023-08-14Remove constness from `ImplSource::Param`Deadbeef-4/+3
2023-08-13Auto merge of #114457 - lcnr:trait_ref_is_knowable-normalize, r=compiler-errorsbors-1/+1
2023-08-12normalize in `trait_ref_is_knowable` in new solverlcnr-1/+1
2023-08-11remove builtin impl for float and int inferlcnr-5/+2
2023-08-10Comment nitsMichael Goulet-1/+1
2023-08-04Auto merge of #114036 - compiler-errors:upcast-to-fewer-assocs, r=lcnrbors-73/+141
2023-08-03Don't be incompleteMichael Goulet-92/+128
2023-08-03Fix upcasting with normalization in old solver, add a testMichael Goulet-2/+12
2023-08-03short-circuit when proj def ids differMichael Goulet-5/+6
2023-08-03Rework upcastingMichael Goulet-59/+80
2023-08-03builtin impl confirmation wuhulcnr-23/+17
2023-08-02Remove constness from `TraitPredicate`Deadbeef-23/+10
2023-08-02Rollup merge of #114079 - compiler-errors:closure-upvars, r=oli-obkNilstrieb-2/+3
2023-08-01Use upvar_tys in more places, make it a listMichael Goulet-2/+3
2023-08-01Convert adt_sized_constraint to early-binder, use listMichael Goulet-1/+1
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-8/+6
2023-07-28Auto merge of #113312 - Ddystopia:auto-trait-fun, r=lcnrbors-14/+77
2023-07-28Auto merge of #114134 - fee1-dead-contrib:rm-constness-from-param-env, r=oli-obkbors-67/+16
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-67/+16
2023-07-26Don't treat negative trait predicates as always knowableMichael Goulet-1/+1
2023-07-25Make everything builtin!Michael Goulet-46/+42
2023-07-25Restore tuple unsizing feature gateMichael Goulet-9/+16
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-14/+3
2023-07-21Track ABI info. in `NaiveLayout`, and use it for `PointerLike` checksMoulins-3/+14
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-1/+1