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]
+  }
+}