Require alts to be exhaustive

middle::check_alt does the work. Lots of changes to add default cases
into alts that were previously inexhaustive.

3 files changed, 15 insertions, 6 deletions

diff --git a/src/test/compile-fail/non-exhaustive-match-nested.rs b/src/test/compile-fail/non-exhaustive-match-nested.rs
new file mode 100644
index 00000000000..b3b854f53e5
--- /dev/null
+++ b/src/test/compile-fail/non-exhaustive-match-nested.rs
@@ -0,0 +1,13 @@
+// -*- rust -*-
+// error-pattern: Non-exhaustive pattern
+enum t { a(u), b }
+enum u { c, d }
+
+fn main() {
+  let x = a(c);
+  alt x {
+      a(d) { fail "hello"; }
+      b { fail "goodbye"; }
+    }
+}
+
diff --git a/src/test/run-fail/non-exhaustive-match.rs b/src/test/compile-fail/non-exhaustive-match.rs
index c6127d178c8..7beb7f1b17d 100644
--- a/src/test/run-fail/non-exhaustive-match.rs
+++ b/src/test/compile-fail/non-exhaustive-match.rs
@@ -1,9 +1,5 @@
-
-
-
 // -*- rust -*-
-
-// error-pattern:non-exhaustive match failure
+// error-pattern: Non-exhaustive pattern
 enum t { a, b, }
 
 fn main() { let x = a; alt x { b { } } }
diff --git a/src/test/run-pass/alt-path.rs b/src/test/run-pass/alt-path.rs
index cd7497aeda4..aa3ccfcbafd 100644
--- a/src/test/run-pass/alt-path.rs
+++ b/src/test/run-pass/alt-path.rs
@@ -4,6 +4,6 @@ mod m1 {
     enum foo { foo1, foo2, }
 }
 
-fn bar(x: m1::foo) { alt x { m1::foo1 { } } }
+fn bar(x: m1::foo) { alt x { m1::foo1 { } m1::foo2 { } } }
 
 fn main() { }