diff options
| -rw-r--r-- | tests/pickling/hk.scala | 2 | ||||
| -rw-r--r-- | tests/pos/hk.scala | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tests/pickling/hk.scala b/tests/pickling/hk.scala index 9fdaf94f6..a8f2aa597 100644 --- a/tests/pickling/hk.scala +++ b/tests/pickling/hk.scala @@ -31,7 +31,7 @@ object higherKinded { } class Ident[-T >: Untyped] extends Tree[T] { - type ThisType[-U] = Ident[U] + type ThisType[-U >: Untyped] = Ident[U] } val id = new Ident[Integer] diff --git a/tests/pos/hk.scala b/tests/pos/hk.scala index 9fdaf94f6..a8f2aa597 100644 --- a/tests/pos/hk.scala +++ b/tests/pos/hk.scala @@ -31,7 +31,7 @@ object higherKinded { } class Ident[-T >: Untyped] extends Tree[T] { - type ThisType[-U] = Ident[U] + type ThisType[-U >: Untyped] = Ident[U] } val id = new Ident[Integer] |