aboutsummaryrefslogtreecommitdiff
path: root/tests/pending
diff options
context:
space:
mode:
authorGuillaume Martres <smarter@ubuntu.com>2016-07-12 18:16:53 +0100
committerGuillaume Martres <smarter@ubuntu.com>2016-07-12 18:16:53 +0100
commit7df0fa52ade1e4cfe3d50a9ea7e5adf2d8c161c0 (patch)
treec2c460fef330d9d60cfb9b56238482671ceb958a /tests/pending
parentc7f3b45abf221c432b3fbd7462741b00a9e10142 (diff)
downloaddotty-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.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]
-}