From 7f721438b5bccc8ca9dd68cef273c8cac8199e1a Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Wed, 18 Jun 2014 18:20:14 +0200
Subject: 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.
---
 tests/pos/t0654.scala | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 tests/pos/t0654.scala

(limited to 'tests/pos/t0654.scala')

diff --git a/tests/pos/t0654.scala b/tests/pos/t0654.scala
new file mode 100644
index 000000000..0d0f2f7de
--- /dev/null
+++ b/tests/pos/t0654.scala
@@ -0,0 +1,5 @@
+object Test {
+  class Foo[T]
+  type C[T] = Foo[_ <: T]   // error: parameter type T of type alias does not appear as type argument of the aliased class Foo
+  val a: C[AnyRef] = new Foo[AnyRef]
+}
-- 
cgit v1.2.3