| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-05-25 | Strongly prefer alias and param-env bounds | Michael Goulet | -5/+9 |
| 2023-05-25 | Prepopulate opaques in canonical input | Michael Goulet | -3/+5 |
| 2023-05-17 | Exclude inherent projections from some alias ty matches | León Orell Valerian Liehr | -1/+3 |
| 2023-05-09 | Consolidate the 'match assumption' type methods in GoalKind | Michael Goulet | -3/+41 |
| 2023-05-09 | Make alias bounds sound in the new solver | Michael Goulet | -2/+114 |
| 2023-04-17 | Spelling - compiler | Josh Soref | -2/+2 |
| 2023-04-14 | Move auto trait built-in candidate disqualification to a separate method | Michael Goulet | -0/+8 |
| 2023-04-12 | Auto merge of #107614 - compiler-errors:allow-elaborator-to-filter-only-super... | bors | -1/+4 |
| 2023-04-11 | Allow the elaborator to only filter to real supertraits | Michael Goulet | -1/+4 |
| 2023-04-10 | Support safe transmute in new solver | Michael Goulet | -0/+7 |
| 2023-04-10 | move `structural_traits` into `assembly` | lcnr | -0/+587 |
