Merge pull request #1343 from dotty-staging/change-hk-direct2

Direct representation of higher-kinded types 

1 files changed, 12 insertions, 0 deletions

diff --git a/tests/pos/i1181.scala b/tests/pos/i1181.scala
new file mode 100644
index 000000000..057c938d3
--- /dev/null
+++ b/tests/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]
+}