| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-12-20 | Rollup merge of #119071 - lcnr:overflowo, r=compiler-errors | Matthias Krüger | -0/+25 |
| 2023-12-18 | Use alias-eq in structural normalization | Michael Goulet | -19/+18 |
| 2023-12-18 | dont discard overflow from normalizes-to goals | lcnr | -0/+25 |
| 2023-12-15 | Move type relations into submodule in rustc_infer | Michael Goulet | -8/+8 |
| 2023-12-15 | Opportunistically resolve region var in canonicalizer | Michael Goulet | -0/+58 |
| 2023-12-14 | Unconditionally register alias-relate in projection goal | Michael Goulet | -2/+91 |
| 2023-12-14 | consistently use "next solver" instead of "new solver" | lcnr | -0/+3834 |
