Fix scala#1828: add test

dotty-staging · Mar 9, 2018 · 4a47296 · 4a47296
1 parent 6fb215f
commit 4a47296
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/tests/neg-custom-args/isInstanceOf/1828.scala b/tests/neg-custom-args/isInstanceOf/1828.scala
@@ -0,0 +1,9 @@
+class Test {
+  def remove[S](a: S | Int, f: Int => S):S = a match {
+    case a: S => a             // error
+    case a: Int => f(a)
+  }
+
+  val t: Int | String = 5
+  val t1 = remove[String](t, _.toString)
+}