Do not miss implicits in type parameters of parents

This did not work before because we incorrectly looked for their value
in the prefix of the type instead of the type itself.

1 files changed, 12 insertions, 0 deletions

diff --git a/tests/pos/implicit_tparam.scala b/tests/pos/implicit_tparam.scala
new file mode 100644
index 000000000..3b7cf9113
--- /dev/null
+++ b/tests/pos/implicit_tparam.scala
@@ -0,0 +1,12 @@
+class Foo[T]
+class Bar extends Foo[A]
+
+class A
+object A {
+  implicit val bar: Bar = new Bar
+}
+
+object Test {
+  def getBar(implicit bar: Bar) = bar
+  getBar
+}