Add test for scala#1181 to pending

dotty-staging · Mar 19, 2016 · 40fc718 · 40fc718
1 parent acd07c1
commit 40fc718
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/tests/pending/pos/i1181.scala b/tests/pending/pos/i1181.scala
@@ -0,0 +1,12 @@
+object Test {
+  def foo[M[_]](x: M[Int]) = x
+
+  type Alias[A] = (A, A)
+  val x: Alias[Int] = (1, 2)
+
+  foo[Alias](x) // ok
+  foo(x) // ok in scalac but fails in dotty with:
+         // error: type mismatch:
+         //  found   : (Int, Int)
+         //  required: M[Int]
+}