Camille GILLOT
|
6f3f878351
|
Normalize types when applying uninhabited predicate.
|
2023-06-27 17:10:14 +00:00 |
|
Camille GILLOT
|
9a7ed3625f
|
Emit diagnostic for privately uninhabited uncovered witnesses.
|
2023-05-24 19:16:07 +00:00 |
|
Michael Goulet
|
2c23c7f0cd
|
Erase regions before uninhabited check
|
2023-02-01 01:14:34 +00:00 |
|
mejrs
|
8476c517c0
|
Don't recommend if let if let else works
|
2023-01-11 14:40:07 -08:00 |
|
mejrs
|
31c20210b9
|
Migrate pattern matching
|
2023-01-11 14:40:02 -08:00 |
|
Albert Larsan
|
cf2dff2b1e
|
Move /src/test to /tests
|
2023-01-11 09:32:08 +00:00 |
|