diff options
Diffstat (limited to 'tests/pos/t7902.scala')
-rw-r--r-- | tests/pos/t7902.scala | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/pos/t7902.scala b/tests/pos/t7902.scala new file mode 100644 index 000000000..7793d3723 --- /dev/null +++ b/tests/pos/t7902.scala @@ -0,0 +1,18 @@ +// Invalid because nested hk type parameters are no longer allowed +import scala.language.higherKinds + +object Bug { + class Tag[W[M1[X1]]] + + def ofType[W[M2[X2]]]: Tag[W] = ??? + type InSeq [M3[X3]] = Some[M3[Any]] + + // fail + val x = ofType[InSeq] + + // okay + val y: Any = ofType[InSeq] + object T { + val z = ofType[InSeq] + } +} |