closes #2994

make normalize slightly more aggressive in loading symbol info, while  )
tolerating the righteous cycle (use sym.info.typeParameters instead    )
of unsafeParams this is needed to make sure higher-kinded types have   )
their type parameters (otherwise we'd get a PolyType with NoSymbol for )
typeParams                                                             )

1 files changed, 7 insertions, 0 deletions

diff --git a/test/files/pos/t2994b.scala b/test/files/pos/t2994b.scala
new file mode 100644
index 0000000000..c9d9cc812b
--- /dev/null
+++ b/test/files/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]
+}
\ No newline at end of file