1 files changed, 8 insertions, 0 deletions
diff --git a/test/files/pos/t2994c.scala b/test/files/pos/t2994c.scala
new file mode 100644
index 0000000000..1ad3655c89
--- /dev/null
+++ b/test/files/pos/t2994c.scala
@@ -0,0 +1,8 @@
+object Test {
+  trait Bar[X[_]]
+  trait Qux[S[_] <: Bar[S], T]
+  trait Baz[S[_] <: Bar[S]] {
+    type Apply[T] = Qux[S,T]
+  }
+  trait Foo[/**/V[_] <: Bar[V]/**/] extends Bar[Baz[V]#Apply]
+}