| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-10-03 | Don't normalize higher-ranked assumptions if they're not used | Michael Goulet | -13/+18 |
| 2025-09-27 | Rename various "concrete opaque type" terminology to say "hidden type" | Boxy Uwu | -1/+1 |
| 2025-09-17 | Remove `DynKind` | León Orell Valerian Liehr | -12/+10 |
| 2025-08-13 | `fn new_coroutine_witness_for_coroutine` woops | lcnr | -43/+18 |
| 2025-08-10 | Ignore coroutine witness type region args in auto trait confirmation | Michael Goulet | -2/+15 |
| 2025-07-31 | Remove the witness type from coroutine args | Michael Goulet | -6/+12 |
| 2025-07-31 | Stall coroutines based off of ty::Coroutine, not ty::CoroutineWitness | Michael Goulet | -28/+34 |
| 2025-07-28 | use let chains in mir, resolve, target | Kivooeo | -20/+17 |
| 2025-07-20 | Consider param-env for fast path | Michael Goulet | -1/+1 |
| 2025-07-18 | Auto merge of #143545 - compiler-errors:coroutine-obl, r=oli-obk | bors | -23/+75 |
| 2025-07-17 | Eagerly unify coroutine witness in old solver | Michael Goulet | -9/+39 |
| 2025-07-15 | Add alias for ArgOutlivesPredicate | Michael Goulet | -1/+1 |
| 2025-07-15 | Consider outlives assumptions when proving auto traits for coroutine interiors | Michael Goulet | -23/+75 |
| 2025-07-15 | Add the core logic in old and new solvers | tiif | -1/+9 |
| 2025-07-08 | Instantiate binder for Copy/Clone/Sized eagerly | Michael Goulet | -196/+222 |
| 2025-07-08 | Instantiate auto trait before computing higher-ranked constituent types | Michael Goulet | -16/+23 |
| 2025-07-07 | remove `has_nested` | lcnr | -59/+52 |
| 2025-07-03 | Remove PointerLike trait | Michael Goulet | -78/+1 |
| 2025-07-03 | setup CI and tidy to use typos for spellchecking and fix few typos | klensy | -1/+1 |
| 2025-07-01 | Remove support for dyn* | Michael Goulet | -1/+0 |
| 2025-06-27 | Auto merge of #142223 - compiler-errors:perf-wf, r=lcnr | bors | -0/+4 |
| 2025-06-26 | Rollup merge of #142927 - compiler-errors:note-find-const, r=BoxyUwU | Michael Goulet | -1/+1 |
| 2025-06-25 | Remove some glob imports from the type system | Michael Goulet | -27/+30 |
| 2025-06-24 | Apply fast path to old solver too | Michael Goulet | -0/+4 |
| 2025-06-23 | Add note to find_const_ty_from_env | Michael Goulet | -1/+1 |
| 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 |
