diff options
| -rw-r--r-- | src/Makefile | 1 | ||||
| -rw-r--r-- | src/test/run-fail/non-exhaustive-match.rs | 15 |
2 files changed, 16 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile index f41ea356..c49e7b32 100644 --- a/src/Makefile +++ b/src/Makefile @@ -497,6 +497,7 @@ TEST_XFAILS_LLVM := $(TASK_XFAILS) \ explicit-fail.rs \ fail.rs \ linked-failure.rs \ + non-exhaustive-match.rs \ pred.rs \ str-overrun.rs \ vec-overrun.rs \ diff --git a/src/test/run-fail/non-exhaustive-match.rs b/src/test/run-fail/non-exhaustive-match.rs new file mode 100644 index 00000000..eb533ef3 --- /dev/null +++ b/src/test/run-fail/non-exhaustive-match.rs @@ -0,0 +1,15 @@ +// -*- rust -*- + +// error-pattern:non-exhaustive match failure + +tag t { + a; + b; +} + +fn main() { + auto x = a; + alt (x) { + case (b) { } + } +} |