aboutsummaryrefslogtreecommitdiff
path: root/tests/pending/pos/i1181.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pending/pos/i1181.scala')
-rw-r--r--tests/pending/pos/i1181.scala12
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]
-}