about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-06-08Rollup merge of #142194 - bjorn3:less_unstable_features, r=jieyouxuJubilee-2/+0
2025-06-08Remove all unused feature gates from the compilerbjorn3-2/+0
2025-06-08Auto merge of #142088 - compiler-errors:perf-universal-stall, r=lcnrbors-2/+4
2025-06-07Rollup merge of #142126 - compiler-errors:normalize-uv-via-relate, r=BoxyUwUGuillaume Gomez-74/+27
2025-06-07Auto merge of #141927 - compiler-errors:perf-select, r=lcnrbors-41/+70
2025-06-07Rollup merge of #142045 - estebank:obligation-cause-code-suggestion, r=compil...Jacob Pratt-9/+11
2025-06-07Unify normalization of terms in deeply normalizeMichael Goulet-71/+23
2025-06-06Make obligation cause code suggestions verboseEsteban Küber-9/+11
2025-06-06Treat normalizing consts like normalizing types in deeply normalizeMichael Goulet-23/+24
2025-06-06Filter out universals and lifetimes from stalled_varsMichael Goulet-2/+4
2025-06-06Auto merge of #141681 - compiler-errors:fast-path-stalled, r=lcnrbors-0/+21
2025-06-06Rollup merge of #142012 - oli-obk:no-optional-spans, r=fee1-deadMatthias Krüger-46/+52
2025-06-05Only instantiate impl argsMichael Goulet-46/+70
2025-06-05Clear nested candidates in select if certainty is yesMichael Goulet-1/+6
2025-06-05Auto merge of #138677 - shepmaster:consistent-elided-lifetime-syntax, r=travi...bors-1/+1
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-46/+52
2025-06-04Don't refer to 'this tail expression' in expansion.Mara Bos-1/+3
2025-06-03Add `iter` macroOli Scherer-9/+33
2025-06-03builtin dyn impl no guide inferencelcnr-1/+12
2025-06-03Rename `LifetimeSyntax` variants to lang-team-approved namesJake Goulding-1/+1
2025-06-03`FIXME(-Znext-solver)` triagelcnr-1/+1
2025-06-02Fast path for subtype and coercion goalsMichael Goulet-0/+11
2025-06-02Fast path for stalled obligations on self tyMichael Goulet-0/+10
2025-06-01Auto merge of #141731 - compiler-errors:tweak-fast-path-trait, r=lcnrbors-23/+44
2025-05-30Reorder fields in `hir::ItemKind` variants.Nicholas Nethercote-11/+11
2025-05-29Tweak fast path trait handlingMichael Goulet-23/+44
2025-05-29Auto merge of #141581 - lcnr:fold-clauses, r=compiler-errorsbors-5/+4
2025-05-27Rename unpack to kindMichael Goulet-19/+19
2025-05-26Auto merge of #141605 - jieyouxu:rollup-3gjqh5l, r=jieyouxubors-26/+13
2025-05-26add additional `TypeFlags` fast pathslcnr-5/+4
2025-05-26Don't rerun goals if none of its vars have changedMichael Goulet-54/+89
2025-05-26RenameMichael Goulet-9/+9
2025-05-26Don't retry in pred_known_to_hold_modulo_regions in new solver, since new sol...Michael Goulet-1/+1
2025-05-26Avoid obligation construction dance with query region constraintsMichael Goulet-24/+11
2025-05-25Comment for not using select_in_new_trait_solverMichael Goulet-0/+1
2025-05-23yeet `CanonicalVarInfo`lcnr-3/+3
2025-05-23Auto merge of #140553 - BoxyUwU:defer_type_system_ctfe, r=compiler-errorsbors-53/+86
2025-05-22Auto merge of #141396 - matthiaskrgr:rollup-feg050g, r=matthiaskrgrbors-88/+48
2025-05-22Auto merge of #141397 - matthiaskrgr:rollup-l9uu6g6, r=matthiaskrgrbors-21/+42
2025-05-22Rollup merge of #141390 - compiler-errors:poly-select-new-solver, r=lcnrMatthias Krüger-10/+12
2025-05-22Rollup merge of #141362 - BoxyUwU:correct_error_term_kind, r=lcnrMatthias Krüger-4/+25
2025-05-22Rollup merge of #141359 - compiler-errors:async-fn-once, r=lcnrMatthias Krüger-7/+5
2025-05-22Rollup merge of #141286 - compiler-errors:querify-coroutine, r=oli-obkMatthias Krüger-1/+1
2025-05-22Rollup merge of #141130 - mejrs:use_self, r=compiler-errorsMatthias Krüger-87/+47
2025-05-22Add test/comment about const patterns with unused paramsBoxy-0/+6
2025-05-22Review CommentsBoxy-69/+69
2025-05-22Auto merge of #141135 - compiler-errors:fast-path-2, r=lcnrbors-3/+60
2025-05-22Don't allow poly_select in new solverMichael Goulet-10/+12
2025-05-22Return correct error term kind on projection errorsBoxy-4/+25
2025-05-21Rollup merge of #141363 - BoxyUwU:doc_lta_norm_binders, r=lcnrMatthias Krüger-4/+13