From c7f3b45abf221c432b3fbd7462741b00a9e10142 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 12 Jul 2016 18:12:27 +0200 Subject: Drop restriction to 2nd order hk types Allow hk type parameters to be higher kinded themselves. --- tests/pos/t2066.scala | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 tests/pos/t2066.scala (limited to 'tests/pos/t2066.scala') diff --git a/tests/pos/t2066.scala b/tests/pos/t2066.scala new file mode 100644 index 000000000..d175769fa --- /dev/null +++ b/tests/pos/t2066.scala @@ -0,0 +1,25 @@ +trait A1 { + def f[T[+_]] = () +} + +trait B1 extends A1 { + override def f[T[+_]] = () +} + + +trait A2 { + def f[T[-_]] = () +} + +trait B2 extends A2 { + override def f[T[-_]] = () +} + + +trait A3 { + def f[T[X[+_]]] = () +} + +trait B3 extends A3 { + override def f[T[X[+_]]] = () +} -- cgit v1.2.3