Make inherited inferred result type work for dependent methods

We did not properly rename parameter references before.

1 files changed, 12 insertions, 0 deletions

diff --git a/tests/pos/t7668.scala b/tests/pos/t7668.scala
new file mode 100644
index 000000000..6657ffab6
--- /dev/null
+++ b/tests/pos/t7668.scala
@@ -0,0 +1,12 @@
+trait Space {
+  type T
+  val x: T
+}
+
+trait Extractor {
+  def extract(s: Space): s.T
+}
+
+class Sub extends Extractor {
+  def extract(ss: Space) = ss.x
+}