about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2023-12-07add unused `NormalizesTo` predicatelcnr-1/+4
2023-12-07Fix const drop checkingMichael Goulet-10/+21
2023-12-07Auto merge of #118685 - compiler-errors:stack-dependent, r=lcnrbors-3/+3
2023-12-06EvaluatedToUnknown -> EvaluatedToAmbigStackDependent, EvaluatedToRecur -> Eva...Michael Goulet-3/+3
2023-12-06Yeet PolyGenSigMichael Goulet-15/+12
2023-12-05Add moreMichael Goulet-2/+2
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-2/+2
2023-11-24AmbiguityCause should not eagerly format stringsMichael Goulet-42/+38
2023-11-22Auto merge of #118120 - compiler-errors:closure-kind, r=lcnrbors-26/+6
2023-11-22Stabilize RFC3324 dyn upcasting coercionUrgau-51/+0
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-17/+14
2023-11-21Remove ClosureKind predicate kindMichael Goulet-26/+6
2023-11-17rename bound region instantiationlcnr-3/+4
2023-11-13Rollup merge of #117870 - lcnr:rename-args_ref, r=compiler-errorsMatthias Krüger-1/+1
2023-11-13update type flagslcnr-3/+3
2023-11-13continue renaminglcnr-3/+3
2023-11-13rename `ReLateBound` to `ReBound`lcnr-2/+2
2023-11-13args~~_ref~~_may_unifylcnr-1/+1
2023-11-09Rollup merge of #117645 - compiler-errors:auto-trait-subst, r=petrochenkovTakayuki Maeda-6/+15
2023-11-06Don't instantiate the binder twice when assembling object candidateMichael Goulet-17/+7
2023-11-06Only check predicates for late-bound non-lifetime vars in object candidate as...Michael Goulet-1/+4
2023-11-06Extend builtin/auto trait args with error when they have >1 argumentMichael Goulet-6/+15
2023-10-30Some more coroutine renamingsMichael Goulet-5/+5
2023-10-29Auto merge of #116447 - oli-obk:gen_fn, r=compiler-errorsbors-2/+62
2023-10-27Make `gen` blocks implement the `Iterator` traitOli Scherer-2/+62
2023-10-23Remove FnPtr hack from trait_ref_is_knowableMichael Goulet-2/+2
2023-10-20s/generator/coroutine/Oli Scherer-40/+40
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