Proper test for scala#4563.

Author: sjrd

tests/pos/i4563.scala

@@ -0,0 +1,3 @@
+Foo(10)
+Foo(42)
+Foo(10)

tests/run/i4563.check

@@ -0,0 +1,19 @@
+case class Foo(str: String) extends AnyVal
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    test(Foo("one"))
+    test(Foo(""))
+    test("two")
+  }
+
+  def test(x: Any): Unit = {
+    val vc: Any = x match {
+      case Foo("") =>
+        Foo("42")
+      case _ =>
+        Foo("10")
+    }
+    println(vc)
+  }
+}