about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
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
2024-01-08Make inductive cycles in coherence ambiguous alwaysMichael Goulet-12/+8
2024-01-08Make `DiagnosticBuilder::emit` consuming.Nicholas Nethercote-1/+4
2023-12-28Movability doesn't need to be a query anymoreMichael Goulet-2/+2
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-32/+36
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-3/+3
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-13/+24
2023-12-16Remove unnecessary constness from ProjectionCandidateMichael Goulet-15/+10
2023-12-15Annotate some bugsMichael Goulet-2/+6
2023-12-08Implement `async gen` blocksMichael Goulet-0/+70
2023-12-08Auto merge of #118689 - compiler-errors:const-drop, r=fee1-deadbors-10/+21