about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-06-18Rollup merge of #142619 - klensy:or_fun_call, r=nnethercoteJakub Beránek-2/+2
2025-06-17apply clippy::or_fun_callklensy-2/+2
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-10/+21
2025-06-16trait_sel: print `{Meta,Pointee}Sized` impl headersDavid Wood-16/+46
2025-06-16trait_sel: sort `{Meta,Pointee}Sized` diagnostics lastDavid Wood-10/+17
2025-06-16trait_sel: `MetaSized` bounds in dispatchable checkDavid Wood-8/+15
2025-06-16trait_sel: stash `{Meta,Pointee}Sized` errorsDavid Wood-1/+4
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-5/+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-13Unimplement unsized_localsmejrs-5/+2
2025-06-12Rollup merge of #141474 - mejrs:diagnostic_mode, r=compiler-errorsMatthias Krüger-75/+55
2025-06-12Auto merge of #142127 - compiler-errors:nested-goals-certainty, r=lcnrbors-35/+64
2025-06-12Rollup merge of #142040 - jswrenn:transmute-ty-region-generic, r=compiler-errorsMatthias Krüger-105/+53
2025-06-11Auto merge of #142358 - matthiaskrgr:rollup-fxe6m7k, r=matthiaskrgrbors-4/+8
2025-06-11Auto merge of #141763 - lcnr:fixme-gamer, r=BoxyUwUbors-1/+1
2025-06-09Make E0621 missing lifetime suggestion verboseEsteban Küber-4/+8
2025-06-09Apply nested goals certainty to InspectGoals for normalizes-toMichael Goulet-35/+64
2025-06-09Introduce ParseMode::diagnostic and fix multiline spansmejrs-40/+32
2025-06-09change FormatString::parse to only return the first errormejrs-40/+28
2025-06-09transmutability: shift abstraction boundaryJack Wrenn-105/+53
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