summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/mod.rs
AgeCommit message (Expand)AuthorLines
2024-01-12Remove unused ErrorReporting variant from overflow handlingMichael Goulet-5/+3
2024-01-08Make inductive cycles in coherence ambiguous alwaysMichael Goulet-12/+8
2023-12-28Movability doesn't need to be a query anymoreMichael Goulet-1/+1
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-21/+25
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-19Remove unnecessary param-env from lexical region resolution and fully structu...Michael Goulet-7/+2
2023-12-18Check FnPtr/FnDef built-in fn traits correctly with effectsMichael Goulet-1/+5
2023-12-16Remove unnecessary constness from ProjectionCandidateMichael Goulet-7/+7
2023-12-08Implement `async gen` blocksMichael Goulet-0/+6
2023-12-07add unused `NormalizesTo` predicatelcnr-1/+4
2023-12-06EvaluatedToUnknown -> EvaluatedToAmbigStackDependent, EvaluatedToRecur -> Eva...Michael Goulet-3/+3
2023-12-05Add moreMichael Goulet-2/+2
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-11-24AmbiguityCause should not eagerly format stringsMichael Goulet-42/+38
2023-11-22Auto merge of #118120 - compiler-errors:closure-kind, r=lcnrbors-13/+0
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-7/+7
2023-11-21Remove ClosureKind predicate kindMichael Goulet-13/+0
2023-11-13update type flagslcnr-2/+2
2023-11-13continue renaminglcnr-2/+2
2023-11-13rename `ReLateBound` to `ReBound`lcnr-1/+1
2023-11-06Extend builtin/auto trait args with error when they have >1 argumentMichael Goulet-6/+15
2023-10-27Make `gen` blocks implement the `Iterator` traitOli Scherer-0/+6
2023-10-20s/generator/coroutine/Oli Scherer-12/+12
2023-10-20s/Generator/Coroutine/Oli Scherer-13/+13
2023-10-18revert rust-lang/rust#114586Ali MJ Al-Nasrawy-21/+2
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-23/+2
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-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-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-03Don't be incompleteMichael Goulet-0/+92
2023-08-02Remove constness from `TraitPredicate`Deadbeef-9/+2
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 06:21:16 +0000