Add explanation comment

Author: odersky

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -680,11 +680,17 @@ object Types {
           joint match
             case joint: SingleDenotation
             if rinfo.isInstanceOf[MethodOrPoly] && rinfo <:< joint.info =>
+              // use `rinfo` to keep the right parameter names for named args. See i8516.scala.
               joint.derivedSingleDenotation(joint.symbol, rinfo)
             case _ =>
               joint
       }
 
+      inline override def foo(x: Fun) =
+      def foo(x: Int) = foo(x)
+
+
+
       def goApplied(tp: AppliedType, tycon: HKTypeLambda) =
         go(tycon.resType).mapInfo(info =>
           tycon.derivedLambdaAbstraction(tycon.paramNames, tycon.paramInfos, info).appliedTo(tp.args))