Simplified the widening logic.

Should speak for itself.

Whenever someone changed @switch from an error to a warning,
it broke all the tests which depended on the error. I added
-Xfatal-warnings to a couple which needed it. And one of those
tests was then failing, as it must now since we couldn't get away
with what was being attempted, so I moved it to pending.

1 files changed, 19 insertions, 0 deletions

diff --git a/test/pending/pos/no-widen-locals.scala b/test/pending/pos/no-widen-locals.scala
new file mode 100644
index 0000000000..013e63f0a2
--- /dev/null
+++ b/test/pending/pos/no-widen-locals.scala
@@ -0,0 +1,19 @@
+// Worked from r23262 until that was reverted somewhere
+// around r25016.
+import annotation.switch
+
+object Test {
+  def f(x: Int) = {
+    val X1 = 5
+    val X2 = 10
+    val X3 = 15
+    val X4 = 20
+    
+    (x: @switch) match {
+      case X1 => 1
+      case X2 => 2
+      case X3 => 3
+      case X4 => 4
+    }
+  }
+}