summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2024-03-14rebaselcnr-1/+1
2024-03-14eagerly instantiate binders to avoid relying on `sub`lcnr-22/+45
2024-03-12Don't Create `ParamCandidate` When Obligation Contains ErrorsVeera-0/+7
2024-03-07Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader`Yoshitomo Nakanishi-7/+7
2024-02-29Rollup merge of #121681 - jswrenn:nix-visibility-analysis, r=compiler-errorsMatthias Krüger-5/+2
2024-02-29Rollup merge of #121654 - compiler-errors:async-fn-for-fn-def, r=oli-obkGuillaume Gomez-6/+16
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-5/+2
2024-02-27Don't emit higher-ranked Future obligations when confirm async Fn goalsMichael Goulet-6/+16
2024-02-27safe transmute: revise safety analysisJack Wrenn-5/+2
2024-02-26Actually use the right closure kind when checking async Fn goalsMichael Goulet-2/+3
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-6/+7
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-44/+64
2024-02-14Auto merge of #121055 - matthiaskrgr:rollup-bzn5sda, r=matthiaskrgrbors-6/+14
2024-02-14Auto merge of #120942 - compiler-errors:deep-assoc-hang, r=lcnrbors-0/+16
2024-02-13Rollup merge of #121047 - compiler-errors:default-impls, r=lcnrMatthias Krüger-0/+8
2024-02-13Rollup merge of #121002 - lcnr:cleanup-commit_if_ok, r=oli-obkMatthias Krüger-6/+6
2024-02-13Do not assemble candidates for default implsMichael Goulet-0/+8
2024-02-13remove questionable calls to `commit_if_ok`lcnr-6/+6
2024-02-13Auto merge of #120919 - oli-obk:impl_polarity, r=compiler-errorsbors-14/+14
2024-02-12Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obkMatthias Krüger-7/+7
2024-02-12Stop calling `impl_polarity` when `impl_trait_ref` was also calledOli Scherer-14/+14
2024-02-12Dejargnonize substShoyu Vanilla-7/+7
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-10Auto merge of #120712 - compiler-errors:async-closures-harmonize, r=oli-obkbors-38/+139
2024-02-09make it recursiveMichael Goulet-4/+2
2024-02-09For a rigid projection, recursively look at the self type's item boundsMichael Goulet-78/+100
2024-02-08Rollup merge of #120590 - compiler-errors:dead, r=NilstriebMatthias Krüger-3/+2
2024-02-08Prefer AsyncFn* over Fn* for coroutine-closuresMichael Goulet-3/+15
2024-02-08reviews + rebaseBoxy-49/+48
2024-02-08rename `instantiate_binder_with_placeholders`Boxy-9/+9
2024-02-06Coroutine closures implement regular Fn traits, when possibleMichael Goulet-9/+42
2024-02-06Regular closures now built-in impls for AsyncFn*Michael Goulet-29/+85
2024-02-06More comments, final tweaksMichael Goulet-0/+6
2024-02-06Add some testsMichael Goulet-3/+13
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-0/+108
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-6/+21
2024-02-02Remove dead args from functionsMichael Goulet-3/+2
2024-01-22Revert "Auto merge of #118133 - Urgau:stabilize_trait_upcasting, r=WaffleLapkin"Oli Scherer-0/+51
2024-01-15Rollup merge of #119897 - compiler-errors:fulfillment-errors, r=lcnrMatthias Krüger-5/+5
2024-01-12Remove unused ErrorReporting variant from overflow handlingMichael Goulet-5/+3
2024-01-12OutputTypeParameterMismatch -> SignatureMismatchMichael Goulet-5/+5
2024-01-10Rename consuming chaining methods on `DiagnosticBuilder`.Nicholas Nethercote-1/+1
2024-01-09Rollup merge of #118649 - compiler-errors:coherence-ambig, r=lcnrMatthias Krüger-12/+8