Half of an implementation of sealedness for jav...

Half of an implementation of sealedness for java enums. Since it's only
half it's behind -Xexperimental, but it works like a charm for the half
where it works (that being compiling against bytecode.) Need input on
how to approach the source half. References ticket #2442. Review by
moors.

3 files changed, 19 insertions, 0 deletions

diff --git a/test/files/neg/sealed-java-enums.check b/test/files/neg/sealed-java-enums.check
new file mode 100644
index 0000000000..9a4bd4241e
--- /dev/null
+++ b/test/files/neg/sealed-java-enums.check
@@ -0,0 +1,8 @@
+sealed-java-enums.scala:5: error: match is not exhaustive!
+missing combination        BLOCKED
+missing combination     TERMINATED
+missing combination  TIMED_WAITING
+
+  def f(state: State) = state match {
+                        ^
+one error found
diff --git a/test/files/neg/sealed-java-enums.flags b/test/files/neg/sealed-java-enums.flags
new file mode 100644
index 0000000000..e709c65918
--- /dev/null
+++ b/test/files/neg/sealed-java-enums.flags
@@ -0,0 +1 @@
+-Xexperimental -Xfatal-warnings
diff --git a/test/files/neg/sealed-java-enums.scala b/test/files/neg/sealed-java-enums.scala
new file mode 100644
index 0000000000..2daf93f308
--- /dev/null
+++ b/test/files/neg/sealed-java-enums.scala
@@ -0,0 +1,10 @@
+import java.lang.Thread.State
+import java.lang.Thread.State._
+
+object Test {
+  def f(state: State) = state match {
+    case NEW | WAITING  => true
+    case RUNNABLE       => false
+    // and I forget the rest
+  }
+}