| Age | Commit message (Expand) | Author | Lines |
| 2025-06-26 | Rollup merge of #140942 - RalfJung:const-ref-to-mut, r=oli-obk | Michael Goulet | -2/+4 |
| 2025-06-26 | Auto merge of #143057 - matthiaskrgr:rollup-bulih8o, r=matthiaskrgr | bors | -35/+92 |
| 2025-06-26 | Auto merge of #142774 - lcnr:search_graph-2, r=oli-obk | bors | -6/+6 |
| 2025-06-26 | const-eval: allow constants to refer to mutable/external memory, but reject s... | Ralf Jung | -2/+4 |
| 2025-06-26 | Change const trait bound syntax from ~const to [const] | Oli Scherer | -12/+12 |
| 2025-06-26 | Simplify IfCause | Michael Goulet | -35/+92 |
| 2025-06-25 | Rollup merge of #142724 - xizheyin:avoid_overwrite_args, r=oli-obk | Jana Dönszelmann | -0/+2 |
| 2025-06-25 | rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::Misc | Michael Goulet | -2/+2 |
| 2025-06-25 | Remove some glob imports from the type system | Michael Goulet | -95/+119 |
| 2025-06-25 | Compute hard errors without diagnostics in impl_intersection_has_impossible_o... | Michael Goulet | -17/+26 |
| 2025-06-25 | Add runtime check to avoid overwrite arg easily in diag and store and restore... | xizheyin | -0/+2 |
| 2025-06-24 | Apply fast path to old solver too | Michael Goulet | -2/+10 |
| 2025-06-24 | Introduce trivial WF functions, use it in fast path | Michael Goulet | -0/+10 |
| 2025-06-23 | Simplify API of solver a bit | Michael Goulet | -43/+19 |
| 2025-06-23 | Add note to find_const_ty_from_env | Michael Goulet | -3/+5 |
| 2025-06-23 | inspect: merge `[Canonical]GoalEvaluation` | lcnr | -6/+6 |
| 2025-06-22 | Rollup merge of #142594 - mejrs:new_desugaring, r=chenyukang | Guillaume Gomez | -7/+25 |
| 2025-06-22 | Rollup merge of #142458 - oli-obk:dyn-incompat, r=compiler-errors | Guillaume Gomez | -1/+8 |
| 2025-06-22 | Implement DesugaringKind::FormatLiteral | mejrs | -7/+25 |
| 2025-06-20 | Rollup merge of #142687 - cjgillot:less-hir_crate, r=oli-obk | Trevor Gross | -5/+1 |
| 2025-06-18 | Make feature suggestion more consistent. | Camille GILLOT | -5/+1 |
| 2025-06-18 | Rollup merge of #142619 - klensy:or_fun_call, r=nnethercote | Jakub Beránek | -2/+2 |
| 2025-06-17 | apply clippy::or_fun_call | klensy | -2/+2 |
| 2025-06-16 | trait_sel: skip `nominal_obligations` for `Sized` | David Wood | -0/+8 |
| 2025-06-16 | trait_sel: skip elaboration of sizedness supertrait | David Wood | -6/+69 |
| 2025-06-16 | trait_sel: extend fast path with sized hierarchy | David Wood | -10/+21 |
| 2025-06-16 | trait_sel: print `{Meta,Pointee}Sized` impl headers | David Wood | -16/+46 |
| 2025-06-16 | trait_sel: sort `{Meta,Pointee}Sized` diagnostics last | David Wood | -10/+17 |
| 2025-06-16 | trait_sel: `MetaSized` bounds in dispatchable check | David Wood | -8/+15 |
| 2025-06-16 | trait_sel: stash `{Meta,Pointee}Sized` errors | David Wood | -1/+4 |
| 2025-06-16 | trait_sel: `{Meta,Pointee}Sized` on `?Sized` types | David Wood | -19/+39 |
| 2025-06-16 | trait_sel: `{Meta,Pointee}Sized` on `Sized` types | David Wood | -0/+8 |
| 2025-06-14 | Rollup merge of #141811 - mejrs:bye_locals, r=compiler-errors | Matthias Krüger | -5/+2 |
| 2025-06-13 | Rollup merge of #142441 - compiler-errors:lazier-binder-value-folding, r=lcnr | Jubilee | -151/+6 |
| 2025-06-13 | Rollup merge of #141352 - lcnr:no-builtin-preference, r=compiler-errors | Jubilee | -1/+12 |
| 2025-06-13 | TypeVisiting binders no longer requires TypeFolding its interior | Michael Goulet | -2/+2 |
| 2025-06-13 | Uplift BoundVarReplacer | Michael Goulet | -146/+1 |
| 2025-06-13 | Don't use BTreeMap for mapped_consts | Michael Goulet | -6/+6 |
| 2025-06-13 | Merge unboxed trait object error suggestion into regular dyn incompat error | Oli Scherer | -1/+8 |
| 2025-06-13 | Unimplement unsized_locals | mejrs | -5/+2 |
| 2025-06-12 | Rollup merge of #141474 - mejrs:diagnostic_mode, r=compiler-errors | Matthias Krüger | -75/+55 |
| 2025-06-12 | Auto merge of #142127 - compiler-errors:nested-goals-certainty, r=lcnr | bors | -35/+64 |
| 2025-06-12 | Rollup merge of #142040 - jswrenn:transmute-ty-region-generic, r=compiler-errors | Matthias Krüger | -105/+53 |
| 2025-06-11 | Auto merge of #142358 - matthiaskrgr:rollup-fxe6m7k, r=matthiaskrgr | bors | -4/+8 |
| 2025-06-11 | Auto merge of #141763 - lcnr:fixme-gamer, r=BoxyUwU | bors | -1/+1 |
| 2025-06-09 | Make E0621 missing lifetime suggestion verbose | Esteban Küber | -4/+8 |
| 2025-06-09 | Apply nested goals certainty to InspectGoals for normalizes-to | Michael Goulet | -35/+64 |
| 2025-06-09 | Introduce ParseMode::diagnostic and fix multiline spans | mejrs | -40/+32 |
| 2025-06-09 | change FormatString::parse to only return the first error | mejrs | -40/+28 |
| 2025-06-09 | transmutability: shift abstraction boundary | Jack Wrenn | -105/+53 |