diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-07-12 18:16:53 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-07-12 18:16:53 +0100 |
commit | 7df0fa52ade1e4cfe3d50a9ea7e5adf2d8c161c0 (patch) | |
tree | c2c460fef330d9d60cfb9b56238482671ceb958a /tests/pending | |
parent | c7f3b45abf221c432b3fbd7462741b00a9e10142 (diff) | |
download | dotty-7df0fa52ade1e4cfe3d50a9ea7e5adf2d8c161c0.tar.gz dotty-7df0fa52ade1e4cfe3d50a9ea7e5adf2d8c161c0.tar.bz2 dotty-7df0fa52ade1e4cfe3d50a9ea7e5adf2d8c161c0.zip |
Enable test for fixed #1181: Typer should preserve aliases in TypeTrees
This was fixed two commits ago.
Diffstat (limited to 'tests/pending')
-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] -} |