[vpm] working type switch for try/catch

catch handlers are now also translated by the virtualizing pattern matcher
emit type-based switches when possible, fallback to catch-all with full pattern match
(the logic used to emit constant-based switches was generalized to type-based switches,
 abstracting out how to refer to the scrutinee and the shape of a default/catch-all case)

this was the last missing piece of essential functionality
now the virtualizing pattern matcher and the old one are mutually exclusive:
-Yvirtpatmat disables the old matcher logic completely

1 files changed, 7 insertions, 1 deletions

diff --git a/test/files/run/virtpatmat_switch.scala b/test/files/run/virtpatmat_switch.scala
index 2e2c31e8e5..1329c19d0f 100644
--- a/test/files/run/virtpatmat_switch.scala
+++ b/test/files/run/virtpatmat_switch.scala
@@ -14,9 +14,15 @@ object Test extends App {
     case 'b' => "got b"
     case _ => "got some letter"
   }
+
+  def byteSwitch(x: Byte) = x match {
+    case 'a' => "got a"
+    case 'b' => "got b"
+    case _ => "got some letter"
+  }
   
   println(charSwitch('a'))
-  println(charSwitch('b'))
+  println(byteSwitch('b'))
   println(charSwitch('z'))
   
   def implicitDefault(x: Int) = x match {