Address review comments

Author: odersky

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

@@ -3976,9 +3976,9 @@ object Types {
           tp.derivedAppliedType(tycon, addInto(args.head) :: Nil)
         case tp @ AppliedType(tycon, args) if defn.isFunctionType(tp) =>
           wrapConvertible(tp.derivedAppliedType(tycon, args.init :+ addInto(args.last)))
-        case tp @ RefinedType(parent, rname, rinfo) if defn.isFunctionType(tp) =>
+        case tp @ RefinedType(parent, rname, rinfo) if defn.isFunctionOrPolyType(tp) =>
           wrapConvertible(tp.derivedRefinedType(parent, rname, addInto(rinfo)))
-        case tp: MethodType =>
+        case tp: MethodOrPoly =>
           tp.derivedLambdaType(resType = addInto(tp.resType))
         case ExprType(resType) =>
           ExprType(addInto(resType))

library/src/scala/runtime/stdLibPatches/language.scala

@@ -78,7 +78,7 @@ object language:
     /** Experimental support for automatic conversions of arguments, without requiring
      *  a langauge import `import scala.language.implicitConversions`.
      *
-     *  @see [[https://dotty.epfl.ch/docs/reference/experimental/cc]]
+     *  @see [[https://dotty.epfl.ch/docs/reference/experimental/into-modifier]]
      */
     @compileTimeOnly("`into` can only be used at compile time in import statements")
     object into

tests/run-custom-args/tasty-inspector/stdlibExperimentalDefinitions.scala

@@ -55,7 +55,7 @@ val experimentalDefinitionInLibrary = Set(
   "scala.caps",
   "scala.caps$",
 
-  //// New festure: into
+  //// New feature: into
   "scala.annotation.allowConversions",
 
   //// New APIs: Mirror