about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2025-06-30Assemble const bounds via normal item bounds in old solver tooMichael Goulet-1/+66
2025-06-27Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-deadMatthias Krüger-10/+10
2025-06-27Auto merge of #142223 - compiler-errors:perf-wf, r=lcnrbors-2/+10
2025-06-26Rollup merge of #142927 - compiler-errors:note-find-const, r=BoxyUwUMichael Goulet-2/+2
2025-06-26Rollup merge of #142647 - compiler-errors:less-work-in-coherence, r=lcnrMichael Goulet-17/+26
2025-06-26Rollup merge of #142637 - compiler-errors:less-globs, r=lcnrMichael Goulet-45/+47
2025-06-26const-eval: allow constants to refer to mutable/external memory, but reject s...Ralf Jung-2/+4
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-10/+10
2025-06-25Remove some glob imports from the type systemMichael Goulet-45/+47
2025-06-25Compute hard errors without diagnostics in impl_intersection_has_impossible_o...Michael Goulet-17/+26
2025-06-24Apply fast path to old solver tooMichael Goulet-2/+10
2025-06-23Add note to find_const_ty_from_envMichael Goulet-2/+2
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