| Age | Commit message (Expand) | Author | Lines |
| 2025-06-16 | trait_sel: skip elaboration of sizedness supertrait | David Wood | -5/+28 |
| 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-13 | Rollup merge of #141352 - lcnr:no-builtin-preference, r=compiler-errors | Jubilee | -1/+12 |
| 2025-06-09 | transmutability: shift abstraction boundary | Jack Wrenn | -97/+46 |
| 2025-06-05 | Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of None | Oli Scherer | -13/+15 |
| 2025-06-03 | Add `iter` macro | Oli Scherer | -3/+19 |
| 2025-06-03 | builtin dyn impl no guide inference | lcnr | -1/+12 |
| 2025-05-27 | Rename unpack to kind | Michael Goulet | -1/+1 |
| 2025-05-22 | Auto merge of #141396 - matthiaskrgr:rollup-feg050g, r=matthiaskrgr | bors | -1/+1 |
| 2025-05-22 | Rollup merge of #141286 - compiler-errors:querify-coroutine, r=oli-obk | Matthias Krüger | -1/+1 |
| 2025-05-22 | Don't allow poly_select in new solver | Michael Goulet | -3/+5 |
| 2025-05-21 | Auto merge of #140386 - oli-obk:match-on-lang-item-kind, r=compiler-errors | bors | -85/+91 |
| 2025-05-20 | Querify coroutine_hidden_types | Michael Goulet | -1/+1 |
| 2025-05-17 | Rollup merge of #140208 - compiler-errors:wf-coinductive, r=lcnr | Matthias Krüger | -1/+6 |
| 2025-05-16 | Auto merge of #140978 - davidtwco:deep-reject-in-match-norm-trait-ref, r=lcnr | bors | -2/+8 |
| 2025-05-13 | trait_sel: deep reject `match_normalize_trait_ref` | David Wood | -2/+8 |
| 2025-05-08 | normalization: avoid incompletely constraining GAT args | lcnr | -3/+4 |
| 2025-05-01 | Set groundwork for proper const normalization | Boxy | -1/+0 |
| 2025-04-30 | Use less rustc_type_ir in the compiler codebase | Romain Perier | -6/+3 |
| 2025-04-29 | Also match on the lang item in confirmation | Oli Scherer | -10/+5 |
| 2025-04-29 | Always check the lang item first | Oli Scherer | -16/+8 |
| 2025-04-29 | Replace if/elseif chain with match | Oli Scherer | -62/+81 |
| 2025-04-29 | Adjust tests | Michael Goulet | -1/+3 |
| 2025-04-29 | Wf is not coinductive | Michael Goulet | -1/+4 |
| 2025-04-28 | Auto merge of #140388 - GuillaumeGomez:rollup-aj9o3ch, r=GuillaumeGomez | bors | -2/+2 |
| 2025-04-28 | Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obk | Guillaume Gomez | -2/+2 |
| 2025-04-28 | AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}... | Andrew Zhogin | -3/+0 |
| 2025-04-26 | convert some `GenericArg` to `Term` | lcnr | -10/+10 |
| 2025-04-24 | Remove `weak` alias terminology | Boxy | -2/+2 |
| 2025-04-24 | Rollup merge of #140214 - compiler-errors:remove-hack, r=lcnr | Matthias Krüger | -2/+0 |
| 2025-04-23 | Remove hack | Michael Goulet | -2/+0 |
| 2025-04-23 | More | Michael Goulet | -1/+3 |
| 2025-04-22 | Properly drain pending obligations for coroutines | Michael Goulet | -1/+1 |
| 2025-04-15 | Rollup merge of #139669 - nnethercote:overhaul-AssocItem, r=oli-obk | Stuart Cook | -3/+1 |
| 2025-04-15 | Move `opt_rpitit_info` field to `hir::AssocKind::Type`. | Nicholas Nethercote | -3/+1 |
| 2025-04-09 | re-use sized fast path | David Wood | -1/+7 |
| 2025-04-08 | Rollup merge of #139541 - compiler-errors:transmute, r=lcnr | Matthias Krüger | -3/+3 |
| 2025-04-08 | Instantiate higher-ranked transmute goal | Michael Goulet | -3/+3 |
| 2025-04-05 | Fix trait upcasting to dyn type with no principal when there are projections | Michael Goulet | -14/+24 |
| 2025-04-04 | Auto merge of #138785 - lcnr:typing-mode-borrowck, r=compiler-errors,oli-obk | bors | -1/+3 |
| 2025-04-03 | Initial support for auto traits with default bounds | Bryanskiy | -15/+29 |
| 2025-04-03 | add `TypingMode::Borrowck` | lcnr | -1/+3 |
| 2025-03-31 | increment depth of nested obligations | lcnr | -10/+2 |
| 2025-03-31 | Rollup merge of #138176 - compiler-errors:rigid-sized-obl, r=lcnr | Matthias Krüger | -15/+43 |
| 2025-03-27 | Auto merge of #139012 - Zalathar:rollup-qgt5yfo, r=Zalathar | bors | -2/+4 |
| 2025-03-26 | Stop using Interner in the compiler randomly | Michael Goulet | -2/+4 |
| 2025-03-24 | Instantiate binder before registering nested obligations for auto/built-in tr... | Michael Goulet | -32/+16 |
| 2025-03-18 | Remove existing AFIDT implementation | Michael Goulet | -6/+0 |
| 2025-03-16 | Suppress must_use in compiler and tools | Michael Goulet | -1/+1 |