Age | Commit message (Expand) | Author |
---|---|---|
2023-06-27 | Normalize types when applying uninhabited predicate. | Camille GILLOT |
2023-05-24 | Emit diagnostic for privately uninhabited uncovered witnesses. | Camille GILLOT |
2023-02-01 | Erase regions before uninhabited check | Michael Goulet |
2023-01-11 | Don't recommend `if let` if `let else` works | mejrs |
2023-01-11 | Migrate pattern matching | mejrs |
2023-01-11 | Move /src/test to /tests | Albert Larsan |