about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-06-26Rollup merge of #140942 - RalfJung:const-ref-to-mut, r=oli-obkMichael Goulet-2/+4
2025-06-26Auto merge of #143057 - matthiaskrgr:rollup-bulih8o, r=matthiaskrgrbors-35/+92
2025-06-26Auto merge of #142774 - lcnr:search_graph-2, r=oli-obkbors-6/+6
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-12/+12
2025-06-26Simplify IfCauseMichael Goulet-35/+92
2025-06-25Rollup merge of #142724 - xizheyin:avoid_overwrite_args, r=oli-obkJana Dönszelmann-0/+2
2025-06-25rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::MiscMichael Goulet-2/+2
2025-06-25Remove some glob imports from the type systemMichael Goulet-95/+119
2025-06-25Compute hard errors without diagnostics in impl_intersection_has_impossible_o...Michael Goulet-17/+26
2025-06-25Add runtime check to avoid overwrite arg easily in diag and store and restore...xizheyin-0/+2
2025-06-24Apply fast path to old solver tooMichael Goulet-2/+10
2025-06-24Introduce trivial WF functions, use it in fast pathMichael Goulet-0/+10
2025-06-23Simplify API of solver a bitMichael Goulet-43/+19
2025-06-23Add note to find_const_ty_from_envMichael Goulet-3/+5
2025-06-23inspect: merge `[Canonical]GoalEvaluation`lcnr-6/+6
2025-06-22Rollup merge of #142594 - mejrs:new_desugaring, r=chenyukangGuillaume Gomez-7/+25
2025-06-22Rollup merge of #142458 - oli-obk:dyn-incompat, r=compiler-errorsGuillaume Gomez-1/+8
2025-06-22Implement DesugaringKind::FormatLiteralmejrs-7/+25
2025-06-20Rollup merge of #142687 - cjgillot:less-hir_crate, r=oli-obkTrevor Gross-5/+1
2025-06-18Make feature suggestion more consistent.Camille GILLOT-5/+1
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-13Merge unboxed trait object error suggestion into regular dyn incompat errorOli Scherer-1/+8
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