| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-03-05 | oops! new unsoundness | Ali MJ Al-Nasrawy | -10/+10 | |
| Bless tests and show an introduced unsoundness related to exits<'a> { forall<'b> { 'a == 'b } }. We now resolve the var ?a in U0 to the placeholder !b in U1. | ||||
| 2023-02-09 | Introduce `ReError` | Esteban Küber | -25/+2 | |
| CC #69314 | ||||
| 2023-01-30 | Modify primary span label for E0308 | Esteban Küber | -1/+1 | |
| The previous output was unintuitive to users. | ||||
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -0/+2109 | |
