about summary refs log tree commit diff
path: root/tests/ui/uninhabited
AgeCommit message (Expand)AuthorLines
2023-12-09Don't warn an empty pattern unreachable if we're not sure the data is validNadrieril-18/+6
2023-12-09Test empty types betterNadrieril-13/+11
2023-11-24Show number in error message even for one errorNilstrieb-2/+2
2023-10-24Add diverging match guard test.Camille GILLOT-0/+10
2023-06-27Normalize types when applying uninhabited predicate.Camille GILLOT-0/+32
2023-05-24Emit diagnostic for privately uninhabited uncovered witnesses.Camille GILLOT-1/+10
2023-02-01Erase regions before uninhabited checkMichael Goulet-0/+18
2023-01-11Don't recommend `if let` if `let else` worksmejrs-10/+2
2023-01-11Migrate pattern matchingmejrs-13/+10
2023-01-11Move /src/test to /testsAlbert Larsan-0/+388