Add explanation comment

Author: odersky

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

@@ -680,6 +680,7 @@ 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