| Age | Commit message (Expand) | Author | Lines |
| 2025-06-16 | trait_sel: `{Meta,Pointee}Sized` on `?Sized` types | David Wood | -8/+12 |
| 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 | Don't allow poly_select in new solver | Michael Goulet | -3/+5 |
| 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-04-30 | Use less rustc_type_ir in the compiler codebase | Romain Perier | -2/+1 |
| 2025-04-29 | Adjust tests | Michael Goulet | -1/+3 |
| 2025-04-29 | Wf is not coinductive | Michael Goulet | -1/+4 |
| 2025-04-28 | Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obk | Guillaume Gomez | -1/+1 |
| 2025-04-26 | convert some `GenericArg` to `Term` | lcnr | -10/+10 |
| 2025-04-24 | Remove `weak` alias terminology | Boxy | -1/+1 |
| 2025-04-23 | More | Michael Goulet | -1/+3 |
| 2025-04-22 | Properly drain pending obligations for coroutines | Michael Goulet | -1/+1 |
| 2025-04-09 | re-use sized fast path | David Wood | -1/+7 |
| 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 | -1/+5 |
| 2025-04-03 | add `TypingMode::Borrowck` | lcnr | -1/+3 |
| 2025-03-31 | Rollup merge of #138176 - compiler-errors:rigid-sized-obl, r=lcnr | Matthias Krüger | -11/+16 |
| 2025-03-24 | Instantiate binder before registering nested obligations for auto/built-in tr... | Michael Goulet | -8/+3 |
| 2025-03-13 | Only prefer Sized candidates, and only if they certainly hold | Michael Goulet | -17/+11 |
| 2025-03-13 | Prefer built-in sized impls for rigid types always | Michael Goulet | -1/+12 |
| 2025-03-10 | Remove AdtFlags::IS_ANONYMOUS and Copy/Clone condition for anonymous ADT | Michael Goulet | -9/+0 |
| 2025-03-09 | Rollup merge of #136968 - oli-obk:bye-bye, r=compiler-errors | Matthias Krüger | -11/+3 |
| 2025-03-01 | Rollup merge of #137800 - BoxyUwU:param_env_docs, r=compiler-errors | Matthias Krüger | -1/+1 |
| 2025-03-01 | Rollup merge of #137689 - compiler-errors:coroutine, r=lcnr | Matthias Krüger | -58/+21 |
| 2025-02-28 | review | lcnr | -3/+9 |
| 2025-02-26 | Remove `ParamEnv::without_caller_bounds` | Boxy | -1/+1 |
| 2025-02-26 | Use bound_coroutine_witnesses in old solver | Michael Goulet | -58/+21 |
| 2025-02-20 | Turn order dependent trait objects future incompat warning into a hard error | Oli Scherer | -11/+3 |
| 2025-02-13 | Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validity | Michael Goulet | -1/+2 |
| 2025-02-08 | Rustfmt | bjorn3 | -3/+5 |
| 2025-01-30 | introduce `ty::Value` | Lukas Markeffsky | -1/+1 |
| 2025-01-28 | Make item self/non-self bound naming less whack | Michael Goulet | -2/+2 |
| 2025-01-21 | Move supertrait_def_ids into the elaborate module like all other fns | Michael Goulet | -1/+3 |
| 2025-01-14 | Prefer lower TraitUpcasting candidates | Michael Goulet | -0/+12 |
| 2024-12-27 | Fix typos | chloefeal | -1/+1 |
| 2024-12-22 | Begin to implement type system layer of unsafe binders | Michael Goulet | -0/+10 |
| 2024-12-18 | Re-export more `rustc_span::symbol` things from `rustc_span`. | Nicholas Nethercote | -2/+1 |
| 2024-12-17 | consistently handle global where-bounds | lcnr | -305/+241 |
| 2024-12-11 | Rename projection_def_id to item_def_id | Michael Goulet | -1/+1 |
| 2024-12-04 | Make sure to record deps from cached task in new solver on first run | Michael Goulet | -4/+1 |
| 2024-12-02 | Auto merge of #133626 - lcnr:fix-diesel, r=BoxyUwU | bors | -6/+11 |
| 2024-11-29 | check local cache even if global is usable | lcnr | -6/+11 |
| 2024-11-28 | support revealing defined opaque post borrowck | lcnr | -1/+6 |
| 2024-11-28 | uplift fold_regions to rustc_type_ir | lcnr | -1/+2 |