Fix #4345: properly instantiate dependent methods

The raw paramInfoss of a method type contain parameter references that
should be instantiated before using the type anywhere.

Author: smarter

compiler/src/dotty/tools/dotc/transform/FullParameterization.scala

@@ -233,14 +233,15 @@ trait FullParameterization {
       fun.appliedToArgss(originalDef.vparamss.nestedMap(vparam => ref(vparam.symbol)))
     else {
       // this type could have changed on forwarding. Need to insert a cast.
-      val args = (originalDef.vparamss, fun.tpe.paramInfoss).zipped.map((vparams, paramTypes) =>
-        (vparams, paramTypes).zipped.map((vparam, paramType) => {
-          assert(vparam.tpe <:< paramType.widen) // type should still conform to widened type
-          ref(vparam.symbol).ensureConforms(paramType)
-        })
-      )
-      fun.appliedToArgss(args)
-
+      originalDef.vparamss.foldLeft(fun)((acc, vparams) => {
+        val meth = acc.tpe.asInstanceOf[MethodType]
+        val paramTypes = meth.instantiateParamInfos(vparams.map(_.tpe))
+        acc.appliedToArgs(
+          (vparams, paramTypes).zipped.map((vparam, paramType) => {
+            assert(vparam.tpe <:< paramType.widen) // type should still conform to widened type
+            ref(vparam.symbol).ensureConforms(paramType)
+          }))
+      })
     }).withPos(originalDef.rhs.pos)
   }
 }

tests/pos/i4345.scala

@@ -0,0 +1,10 @@
+import scala.annotation.tailrec
+class Context {
+  type Tree
+}
+
+class Test {
+  @tailrec
+  final def loop(c: Context)(trees: List[c.Tree]): Boolean =
+    loop(c)(trees)
+}