Handling higher-kinded types with lambdas

Switch to the new scheme where higher-kinded types (and also some polymorphic
type aliases) are represented as instances of Lambda traits.

1 files changed, 8 insertions, 0 deletions

diff --git a/tests/pos/lookuprefined.scala b/tests/pos/lookuprefined.scala
new file mode 100644
index 000000000..f7e7f7337
--- /dev/null
+++ b/tests/pos/lookuprefined.scala
@@ -0,0 +1,8 @@
+class C { type T; type U }
+
+trait Test {
+
+  val x: (C { type U = T } { type T = String }) # U
+  val y: String = x
+
+}