| Age | Commit message (Expand) | Author | Lines |
| 2025-09-12 | Introduce trait_item_of | Cameron Steffen | -0/+9 |
| 2025-09-12 | Auto merge of #146329 - lcnr:opaque-type-infer-alias-candidates, r=BoxyUwU | bors | -1/+5 |
| 2025-09-12 | Auto merge of #146328 - zetanumbers:fix-141951, r=lcnr | bors | -4/+1 |
| 2025-09-11 | incompletely prefer opaque type bounds when self type bottoms out in infer | Michael Goulet | -1/+5 |
| 2025-09-09 | Auto merge of #145717 - BoxyUwU:erase_regions_rename, r=lcnr | bors | -28/+32 |
| 2025-09-09 | Driveby fixes | Boxy | -3/+2 |
| 2025-09-09 | erase_regions to erase_and_anonymize_regions | Boxy | -27/+32 |
| 2025-09-08 | fixup limit handling code | Jana Dönszelmann | -4/+6 |
| 2025-09-08 | Rollup merge of #146313 - nnethercote:rustc_middle-ty-cleanups-2, r=lcnr | Matthias Krüger | -81/+3 |
| 2025-09-08 | Rollup merge of #146111 - ChayimFriedman2:more-ns-specific-defid, r=lcnr | Matthias Krüger | -1/+27 |
| 2025-09-08 | Skip typeck for items w/o their own typeck context | Daria Sukhonina | -4/+1 |
| 2025-09-08 | Move `describe_as_module` from `rustc_middle::print` to `rustc:middle::query`. | Nicholas Nethercote | -11/+1 |
| 2025-09-08 | Move `rustc_middle::MaxUniverse` to `rustc_infer`. | Nicholas Nethercote | -40/+0 |
| 2025-09-08 | Make some matches non-exhaustive. | Nicholas Nethercote | -30/+2 |
| 2025-09-05 | rustc_middle: clippy fixes | Marijn Schouten | -8/+2 |
| 2025-09-04 | Rollup merge of #146182 - ChayimFriedman2:ns-probe, r=jackh726 | Jacob Pratt | -2/+2 |
| 2025-09-04 | Rollup merge of #145342 - dianne:if-let-super-let, r=nnethercote | Stuart Cook | -35/+2 |
| 2025-09-04 | Don't require next-solver `ProbeRef` to be `Copy` | Chayim Refael Friedman | -2/+2 |
| 2025-09-02 | Auto merge of #146125 - GuillaumeGomez:rollup-ld81n7e, r=GuillaumeGomez | bors | -1/+1 |
| 2025-09-02 | Migrate more things in the new solver to specific `DefId`s | Chayim Refael Friedman | -1/+27 |
| 2025-09-01 | Remove dead code stemming from an old effects desugaring | León Orell Valerian Liehr | -1/+1 |
| 2025-08-29 | cleanup proof tree implementation and add cache | lcnr | -2/+13 |
| 2025-08-29 | Auto merge of #145377 - ChayimFriedman2:solver-def-id, r=lcnr | bors | -22/+48 |
| 2025-08-27 | Auto merge of #144841 - cjgillot:typeck-no-attrs, r=davidtwco | bors | -0/+7 |
| 2025-08-25 | Switch next solver to use a specific associated type for trait def id | Chayim Refael Friedman | -22/+48 |
| 2025-08-25 | fold regions, don't erase | lcnr | -3/+4 |
| 2025-08-24 | Support lints in early attribute parsing | Jana Dönszelmann | -0/+2 |
| 2025-08-23 | Auto merge of #145796 - samueltardieu:rollup-linfi86, r=samueltardieu | bors | -2/+5 |
| 2025-08-23 | Rollup merge of #145713 - lcnr:const-trait-bootstrap, r=compiler-errors | Samuel Tardieu | -2/+5 |
| 2025-08-23 | Auto merge of #145706 - lcnr:uniquification, r=BoxyUwU | bors | -0/+11 |
| 2025-08-23 | Auto merge of #145773 - jhpratt:rollup-kocqnzv, r=jhpratt | bors | -2/+1 |
| 2025-08-22 | Separate transmute checking from typeck. | Camille Gillot | -0/+6 |
| 2025-08-22 | change HIR typeck unification handling approach | lcnr | -0/+11 |
| 2025-08-22 | Refactor lint buffering to avoid requiring a giant enum | Josh Triplett | -2/+1 |
| 2025-08-21 | next-solver fix const_trait_impl bootstrap | lcnr | -2/+5 |
| 2025-08-20 | Move `IntoDiagArg` earlier in the dependency chains | Josh Triplett | -2/+2 |
| 2025-08-20 | Rollup merge of #145623 - compiler-errors:pretty-async-name, r=wesleywiser | Jacob Pratt | -3/+13 |
| 2025-08-19 | Pretty print the name of an future from calling async closure | Michael Goulet | -3/+13 |
| 2025-08-19 | Rollup merge of #145338 - lcnr:coroutine-witness-yikes, r=compiler-errors | 许杰友 Jieyou Xu (Joe) | -2/+38 |
| 2025-08-17 | Auto merge of #145284 - nnethercote:type_name-print-regions, r=lcnr | bors | -7/+7 |
| 2025-08-15 | Auto merge of #144591 - RalfJung:pattern-valtrees, r=BoxyUwU | bors | -9/+19 |
| 2025-08-14 | Print regions in `type_name`. | Nicholas Nethercote | -7/+7 |
| 2025-08-14 | Rollup merge of #145266 - camsteffen:reduce-queries, r=petrochenkov | Guillaume Gomez | -5/+34 |
| 2025-08-14 | Apply suggestions from code review | Ralf Jung | -1/+1 |
| 2025-08-14 | avoid unnecessary type sanity checks | Ralf Jung | -8/+4 |
| 2025-08-14 | use ty::Value instead of manual pairs of types and valtrees | Ralf Jung | -4/+10 |
| 2025-08-14 | pattern testing: store constants as valtrees | Ralf Jung | -9/+17 |
| 2025-08-13 | Rollup merge of #144949 - nnethercote:more-Printer-cleanups, r=davidtwco | Guillaume Gomez | -81/+110 |
| 2025-08-13 | Cleanup assoc parent utils | Cameron Steffen | -5/+34 |
| 2025-08-13 | `fn new_coroutine_witness_for_coroutine` woops | lcnr | -0/+33 |