summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/mod.rs
AgeCommit message (Expand)AuthorLines
2024-03-14rebaselcnr-1/+1
2024-03-14eagerly instantiate binders to avoid relying on `sub`lcnr-8/+19
2024-03-07Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader`Yoshitomo Nakanishi-5/+5
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-5/+2
2024-02-22freshen: resolve root varslcnr-23/+2
2024-02-20Auto merge of #120576 - nnethercote:merge-Diagnostic-DiagnosticBuilder, r=dav...bors-2/+5
2024-02-19Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers.Nicholas Nethercote-2/+5
2024-02-19split `project` into multiple fileslcnr-5/+6
2024-02-19never normalize without eager inference replacementlcnr-2/+1
2024-02-15Consider principal trait ref's auto-trait super-traits in dyn upcastingMichael Goulet-1/+12
2024-02-14Auto merge of #120942 - compiler-errors:deep-assoc-hang, r=lcnrbors-0/+16
2024-02-13Auto merge of #120919 - oli-obk:impl_polarity, r=compiler-errorsbors-10/+8
2024-02-12Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obkMatthias Krüger-3/+3
2024-02-12Stop calling `impl_polarity` when `impl_trait_ref` was also calledOli Scherer-10/+8
2024-02-12Dejargnonize substShoyu Vanilla-3/+3
2024-02-12Check representation of unnamed fieldsFrank King-5/+3
2024-02-12Lowering field access for anonymous adtsFrank King-2/+2
2024-02-12Lower anonymous structs or unions to HIRFrank King-0/+10
2024-02-11Ignore own item bounds in parent alias types in `for_each_item_bound`Michael Goulet-0/+16
2024-02-09For a rigid projection, recursively look at the self type's item boundsMichael Goulet-62/+33
2024-02-08Rollup merge of #120590 - compiler-errors:dead, r=NilstriebMatthias Krüger-3/+2
2024-02-08rename `instantiate_binder_with_placeholders`Boxy-3/+3
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-0/+12
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+9
2024-02-02Remove dead args from functionsMichael Goulet-3/+2
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