| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 | -3/+11 |
| 2025-07-31 | Stall coroutines based off of ty::Coroutine, not ty::CoroutineWitness | Michael Goulet | -1/+1 |
| 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 | -18/+55 |
| 2025-07-17 | Eagerly unify coroutine witness in old solver | Michael Goulet | -1/+14 |
| 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 | -18/+55 |
| 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 | -155/+57 |
| 2025-07-08 | Instantiate auto trait before computing higher-ranked constituent types | Michael Goulet | -16/+22 |
| 2025-07-07 | remove `has_nested` | lcnr | -3/+3 |
| 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 | -10/+14 |
| 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: `{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 |
