Drop restriction to 2nd order hk types

Allow hk type parameters to be higher kinded themselves.

1 files changed, 3 insertions, 3 deletions

diff --git a/tests/disabled/not-representable/pos/t2066.scala b/tests/disabled/not-representable/pos/t2066.scala
index 30cb99d45..d175769fa 100644
--- a/tests/disabled/not-representable/pos/t2066.scala
+++ b/tests/disabled/not-representable/pos/t2066.scala
@@ -3,7 +3,7 @@ trait A1 {
 }
 
 trait B1 extends A1 {
-  override def f[T[_]] = ()
+  override def f[T[+_]] = ()
 }
 
 
@@ -12,12 +12,12 @@ trait A2 {
 }
 
 trait B2 extends A2 {
-  override def f[T[_]] = ()
+  override def f[T[-_]] = ()
 }
 
 
 trait A3 {
-  def f[T[X[_]]] = ()
+  def f[T[X[+_]]] = ()
 }
 
 trait B3 extends A3 {