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

Direct representation of higher-kinded types 

2 files changed, 14 insertions, 12 deletions

diff --git a/tests/pending/pos/apply-equiv.scala b/tests/pending/pos/apply-equiv.scala
new file mode 100644
index 000000000..f53b8b5ab
--- /dev/null
+++ b/tests/pending/pos/apply-equiv.scala
@@ -0,0 +1,14 @@
+class Test {
+
+  class Lambda { type Arg; type Apply }
+
+  type T1 = (Lambda { type Arg = Int } { type Apply = List[Arg] }) # Apply
+  type T2 = List[Int]
+
+  var x: T1 = _
+  var y: T2 = _
+
+  x = y
+  y = x
+
+}
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]
-}