aboutsummaryrefslogtreecommitdiff
path: root/tests/pending/pos/t7902.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pending/pos/t7902.scala')
-rw-r--r--tests/pending/pos/t7902.scala18
1 files changed, 0 insertions, 18 deletions
diff --git a/tests/pending/pos/t7902.scala b/tests/pending/pos/t7902.scala
deleted file mode 100644
index 7793d3723..000000000
--- a/tests/pending/pos/t7902.scala
+++ /dev/null
@@ -1,18 +0,0 @@
-// 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]
- }
-}