diff options
Diffstat (limited to 'tests/pending/pos/i1181.scala')
-rw-r--r-- | tests/pending/pos/i1181.scala | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/tests/pending/pos/i1181.scala b/tests/pending/pos/i1181.scala deleted file mode 100644 index 057c938d3..000000000 --- a/tests/pending/pos/i1181.scala +++ /dev/null @@ -1,12 +0,0 @@ -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] -} |