1 files changed, 7 insertions, 0 deletions
diff --git a/tests/pending/pos/t2994b.scala b/tests/pending/pos/t2994b.scala
new file mode 100644
index 000000000..8b5eb9692
--- /dev/null
+++ b/tests/pending/pos/t2994b.scala
@@ -0,0 +1,7 @@
+object Test {
+  trait Bar[X[_]]
+  trait Baz[S[_] <: Bar[S]] {
+    type Apply[T]
+  }
+  trait Foo[V[_] <: Bar[V]] extends Bar[Baz[V]#Apply]
+}