Skip to content

Commit a44082f

Browse files
committed
Add test for scala#1181 to pending
1 parent b490347 commit a44082f

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed

tests/pending/pos/i1181.scala

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
object Test {
2+
def foo[M[_]](x: M[Int]) = x
3+
4+
type Alias[A] = (A, A)
5+
val x: Alias[Int] = (1, 2)
6+
7+
foo[Alias](x) // ok
8+
foo(x) // ok in scalac but fails in dotty with:
9+
// error: type mismatch:
10+
// found : (Int, Int)
11+
// required: M[Int]
12+
}

0 commit comments

Comments
 (0)