about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2024-02-19Drive-by `DUMMY_SP` -> `Span` and fmt changesEsteban Küber-3/+2
2024-02-19Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers.Nicholas Nethercote-81/+98
2024-02-19remove outdated commentlcnr-1/+1
2024-02-19split `project` into multiple fileslcnr-770/+785
2024-02-19remove `pred_known_to_hold_modulo_regions`lcnr-47/+3
2024-02-19never normalize without eager inference replacementlcnr-82/+11
2024-02-18Rollup merge of #121100 - estebank:issue-71252, r=compiler-errorsLeón Orell Valerian Liehr-1/+19
2024-02-17Rollup merge of #121193 - compiler-errors:coherence-fulfillment, r=lcnrMatthias Krüger-34/+36
2024-02-17Rollup merge of #121085 - davidtwco:always-eager-diagnostics, r=nnethercoteMatthias Krüger-2/+5
2024-02-17Rollup merge of #121059 - compiler-errors:extension, r=davidtwco,NilstriebGuillaume Boisseau-728/+58
2024-02-16Use fulfillment in next trait solver coherenceMichael Goulet-34/+36
2024-02-16Rollup merge of #121111 - trevyn:associated-type-suggestion, r=davidtwcoGuillaume Gomez-0/+9
2024-02-16NitsMichael Goulet-0/+6
2024-02-16Move trait into attr so it's greppableMichael Goulet-26/+26
2024-02-16Use extension trait deriveMichael Goulet-727/+51
2024-02-16Detect when method call on argument could be removed to fulfill failed trait ...Esteban Küber-1/+19
2024-02-16Rollup merge of #121119 - compiler-errors:async-fn-kind-errs, r=oli-obkGuillaume Gomez-25/+98
2024-02-15make better async fn kind errorsMichael Goulet-25/+98
2024-02-15Consider principal trait ref's auto-trait super-traits in dyn upcastingMichael Goulet-44/+64
2024-02-15errors: only eagerly translate subdiagnosticsDavid Wood-2/+5
2024-02-15Rollup merge of #121105 - compiler-errors:no-const-ty-overflow, r=oli-obkMatthias Krüger-12/+15
2024-02-14For E0038, suggest associated type if availabletrevyn-0/+9
2024-02-14Auto merge of #120847 - oli-obk:track_errors9, r=compiler-errorsbors-2/+3
2024-02-14Do not report overflow errors on ConstArgHasType goalsMichael Goulet-12/+15
2024-02-14Continue compilation after check_mod_type_wf errorsOli Scherer-2/+3
2024-02-14Rollup merge of #121071 - nnethercote:fewer-delayed-bugs, r=oli-obkOli Scherer-15/+18
2024-02-14Rollup merge of #120915 - OdenShirataki:master, r=fmeaseOli Scherer-3/+3
2024-02-14Use fewer delayed bugs.Nicholas Nethercote-15/+18
2024-02-14Auto merge of #120454 - clubby789:cargo-update, r=Nilstriebbors-5/+10
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-13Bump `indexmap`clubby789-5/+10
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-26/+33
2024-02-12Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obkMatthias Krüger-62/+62
2024-02-12Auto merge of #120980 - matthiaskrgr:rollup-dsjsqql, r=matthiaskrgrbors-6/+0
2024-02-12Rollup merge of #120917 - chenyukang:yukang-dead-parameters, r=compiler-errorsMatthias Krüger-6/+0
2024-02-12Stop calling `impl_polarity` when `impl_trait_ref` was also calledOli Scherer-26/+33
2024-02-12Dejargnonize substShoyu Vanilla-62/+62
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-12Fix suggestion span for ?SizedOdenShirataki-3/+3
2024-02-12remove a bunch of dead parameters in fnyukang-6/+0
2024-02-11Rollup merge of #120872 - petrochenkov:opthirpar, r=cjgillotMatthias Krüger-15/+11
2024-02-11Ignore own item bounds in parent alias types in `for_each_item_bound`Michael Goulet-0/+16
2024-02-10Auto merge of #120771 - oli-obk:useless_non_ensure_query_call, r=davidtwcobors-1/+1