diff options
author | Martin Odersky <odersky@gmail.com> | 2016-03-19 19:50:18 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-03-30 09:51:02 +0200 |
commit | a44082fd7d97e7adb839540d770b5f77b4a150a1 (patch) | |
tree | a81cad38291c89b35c3707185e3f12e311b4457a /tests | |
parent | b49034715ac5dc5d3f8427b39e497d3e20c4c192 (diff) | |
download | dotty-a44082fd7d97e7adb839540d770b5f77b4a150a1.tar.gz dotty-a44082fd7d97e7adb839540d770b5f77b4a150a1.tar.bz2 dotty-a44082fd7d97e7adb839540d770b5f77b4a150a1.zip |
Add test for #1181 to pending
Diffstat (limited to 'tests')
-rw-r--r-- | tests/pending/pos/i1181.scala | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/pending/pos/i1181.scala b/tests/pending/pos/i1181.scala new file mode 100644 index 000000000..057c938d3 --- /dev/null +++ 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] +} |