summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2025-07-17trait_sel: `MetaSized` always holds temporarilyDavid Wood-0/+7
2025-06-22Rollup merge of #142458 - oli-obk:dyn-incompat, r=compiler-errorsGuillaume Gomez-1/+1
2025-06-18Rollup merge of #142619 - klensy:or_fun_call, r=nnethercoteJakub Beránek-1/+1
2025-06-17apply clippy::or_fun_callklensy-1/+1
2025-06-16trait_sel: skip `nominal_obligations` for `Sized`David Wood-0/+8
2025-06-16trait_sel: skip elaboration of sizedness supertraitDavid Wood-6/+69
2025-06-16trait_sel: extend fast path with sized hierarchyDavid Wood-7/+11
2025-06-16trait_sel: `MetaSized` bounds in dispatchable checkDavid Wood-8/+15
2025-06-16trait_sel: `{Meta,Pointee}Sized` on `?Sized` typesDavid Wood-19/+39
2025-06-16trait_sel: `{Meta,Pointee}Sized` on `Sized` typesDavid Wood-0/+8
2025-06-14Rollup merge of #141811 - mejrs:bye_locals, r=compiler-errorsMatthias Krüger-2/+2
2025-06-13Rollup merge of #142441 - compiler-errors:lazier-binder-value-folding, r=lcnrJubilee-151/+6
2025-06-13Rollup merge of #141352 - lcnr:no-builtin-preference, r=compiler-errorsJubilee-1/+12
2025-06-13TypeVisiting binders no longer requires TypeFolding its interiorMichael Goulet-2/+2
2025-06-13Uplift BoundVarReplacerMichael Goulet-146/+1
2025-06-13Don't use BTreeMap for mapped_constsMichael Goulet-6/+6
2025-06-13Merge unboxed trait object error suggestion into regular dyn incompat errorOli Scherer-1/+1
2025-06-13Unimplement unsized_localsmejrs-2/+2
2025-06-12Rollup merge of #142040 - jswrenn:transmute-ty-region-generic, r=compiler-errorsMatthias Krüger-97/+46
2025-06-11Auto merge of #141763 - lcnr:fixme-gamer, r=BoxyUwUbors-1/+1
2025-06-09transmutability: shift abstraction boundaryJack Wrenn-97/+46
2025-06-07Rollup merge of #142126 - compiler-errors:normalize-uv-via-relate, r=BoxyUwUGuillaume Gomez-4/+1
2025-06-07Unify normalization of terms in deeply normalizeMichael Goulet-4/+1
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-34/+40
2025-06-03Add `iter` macroOli Scherer-3/+19
2025-06-03builtin dyn impl no guide inferencelcnr-1/+12
2025-06-03`FIXME(-Znext-solver)` triagelcnr-1/+1
2025-05-27Rename unpack to kindMichael Goulet-3/+3
2025-05-26Auto merge of #141605 - jieyouxu:rollup-3gjqh5l, r=jieyouxubors-25/+12
2025-05-26RenameMichael Goulet-8/+8
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-23/+10
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-1/+1
2025-05-22Rollup merge of #141390 - compiler-errors:poly-select-new-solver, r=lcnrMatthias Krüger-3/+5
2025-05-22Rollup merge of #141362 - BoxyUwU:correct_error_term_kind, r=lcnrMatthias Krüger-4/+25
2025-05-22Rollup merge of #141286 - compiler-errors:querify-coroutine, r=oli-obkMatthias Krüger-1/+1
2025-05-22Add test/comment about const patterns with unused paramsBoxy-0/+6
2025-05-22Review CommentsBoxy-69/+69
2025-05-22Don't allow poly_select in new solverMichael Goulet-3/+5
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
2025-05-21Don't evaluate constants depending on infers or paramsBoxy-42/+64
2025-05-21Introduce `tcx.anon_const_kind` queryBoxy-2/+7
2025-05-21Document why we allow escaping bound vars in LTA normBoxy-4/+13
2025-05-21Auto merge of #141345 - matthiaskrgr:rollup-vux7gok, r=matthiaskrgrbors-3/+15
2025-05-21Rollup merge of #141334 - lcnr:coerce-nested-obligations, r=compiler-errorsMatthias Krüger-0/+14
2025-05-21Auto merge of #140386 - oli-obk:match-on-lang-item-kind, r=compiler-errorsbors-85/+91
2025-05-21eagerly check nested obligations when coercing fndefslcnr-0/+14
2025-05-21Do not eagerly fold consts in normalize_param_env_or_error if new solverMichael Goulet-3/+1