add tests from scala/test/files/{pos,neg}

with explicit Unit return type

1 files changed, 11 insertions, 0 deletions

diff --git a/tests/untried/pos/t6275.scala b/tests/untried/pos/t6275.scala
new file mode 100644
index 000000000..6b5ec7dce
--- /dev/null
+++ b/tests/untried/pos/t6275.scala
@@ -0,0 +1,11 @@
+
+sealed trait A[T]
+final class B[T] extends A[T]
+
+object ParsedAxis {
+  type BI = B[Int]
+
+  def f1(a: A[Int]) = a match { case b: B[Int] => 3 }
+  def f2(a: A[Int]) = a match { case b: BI => 3 }
+  def f3(a: A[Int]) = a match { case b: B[t] => 3 }
+}