about summary refs log tree commit diff
path: root/src/test/ui/uninhabited
AgeCommit message (Collapse)AuthorLines
2019-04-22Remove double trailing newlinesvarkor-2/+0
2019-04-18hide `--explain` hint if error has no extended infoAndy Russell-1/+1
2019-03-11Update testsVadim Petrochenkov-12/+12
2019-03-02Point at enum definition when match patterns are not exhaustiveEsteban Küber-17/+19
``` error[E0004]: non-exhaustive patterns: type `X` is non-empty --> file.rs:9:11 | 1 | / enum X { 2 | | A, | | - variant not covered 3 | | B, | | - variant not covered 4 | | C, | | - variant not covered 5 | | } | |_- `X` defined here ... 9 | match x { | ^ | = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms error[E0004]: non-exhaustive patterns: `B` and `C` not covered --> file.rs:11:11 | 1 | / enum X { 2 | | A, 3 | | B, 4 | | C, | | - not covered 5 | | } | |_- `X` defined here ... 11 | match x { | ^ patterns `C` not covered ``` When a match expression doesn't have patterns covering every variant, point at the enum's definition span. On a best effort basis, point at the variant(s) that are missing. This does not handle the case when the missing pattern is due to a field's enum variants: ``` enum E1 { A, B, C, } enum E2 { A(E1), B, } fn foo() { match E2::A(E1::A) { E2::A(E1::B) => {} E2::B => {} } //~^ ERROR `E2::A(E1::A)` and `E2::A(E1::C)` not handled } ``` Unify look between match with no arms and match with some missing patterns. Fix #37518.
2018-12-25Remove licensesMark Rousskov-58/+18
2018-12-11Update testsvarkor-2/+2
2018-12-11Restore old match behaviourvarkor-3/+27
2018-12-11Make liveness analysis respect privacyvarkor-2/+3
2018-12-11Add privately uninhabited dead code testvarkor-0/+19
2018-12-11Update uninhabited matches testsvarkor-27/+3
2018-11-20Enclose type in backticks for "non-exhaustive patterns" errorvarkor-3/+3
This makes the error style consistent with the convention in error messages.
2018-11-03Make "all possible cases" help message uniform with existing help messagesvarkor-3/+3
Specifically no capitalisation or trailing full stops.
2018-08-14Merged migrated compile-fail tests and ui tests. Fixes #46841.David Wood-0/+280