add a few comments

Author: SethTisue

compiler/src/dotty/tools/dotc/typer/Applications.scala

@@ -947,6 +947,10 @@ trait Applications extends Compatibility {
                 else expectedResultType match
                   case SelectionProto(nme.asInstanceOf_, PolyProto(_, resTp), _, _) => resTp
                   case _ => defn.ObjectType
+              // synthesize a method type based on the types at the call site.
+              // one can imagine the original signature-polymorphic method as
+              // being infinitely overloaded, with each individual overload only
+              // being brought into existence as needed
               val info = MethodType(proto.typedArgs().map(_.tpe.widen), resultType)
               val fun2 = fun1.withType(funRef.symbol.copy(info = info).termRef)
               simpleApply(fun2, proto)

tasty/src/dotty/tools/tasty/TastyFormat.scala

@@ -86,7 +86,7 @@ Standard-Section: "ASTs" TopLevelStat*
                   IDENT                 NameRef Type                               -- Used when term ident’s type is not a TermRef
                   SELECT                possiblySigned_NameRef qual_Term           -- qual.name
                   SELECTin       Length possiblySigned_NameRef qual_Term owner_Type -- qual.name, referring to a symbol declared in owner that has the given signature (see note below)
-                  SELECTinPoly   Length possiblySigned_NameRef qual_Term owner_Type method_Type -- like SELECTin, but with the method_Type too
+                  SELECTinPoly   Length possiblySigned_NameRef qual_Term owner_Type method_Type -- like SELECTin, but with the method_Type too (because signature polymorphic)
                   QUALTHIS              typeIdent_Tree                             -- id.this, different from THIS in that it contains a qualifier ident with position.
                   NEW                   clsType_Term                               -- new cls
                   THROW                 throwableExpr_Term                         -- throw throwableExpr