Implement review suggestions

Author: odersky

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

@@ -1928,7 +1928,7 @@ object Types extends TypeUtils {
             case res => res
           }
           defn.FunctionNOf(
-            mt.paramInfos.mapConserve: 
+            mt.paramInfos.mapConserve:
               _.translateFromRepeated(toArray = isJava)
                .mapIntoAnnot(defn.IntoParamAnnot, null),
             result1, isContextual)
@@ -1989,7 +1989,7 @@ object Types extends TypeUtils {
         val tp1 = tp.mapIntoAnnot(from, to)
         if annot.symbol == from then
           if to == null then tp1
-          else AnnotatedType(tp1, Annotation(to, from.span))
+          else AnnotatedType(tp1, Annotation(to, annot.span))
         else self.derivedAnnotatedType(tp1, annot)
       case AppliedType(tycon, arg :: Nil) if tycon.typeSymbol == defn.RepeatedParamClass =>
         val arg1 = arg.mapIntoAnnot(from, to)

docs/_docs/reference/experimental/into-modifier.md

@@ -63,7 +63,7 @@ Note that a vararg parameter type with into modifiers needs to be put in parenth
 ## Retrofitting Scala 2 libraries
 
 There is also an annotation `@into` in the `scala.annotation` package that has
-has the same effect as an `into` modifier. It is intended to be used for retrofitting Scala 2 library code so that Scala 3 conversions can be applied to arguments without language imports. For instance, the definitions of
+the same effect as an `into` modifier. It is intended to be used for retrofitting Scala 2 library code so that Scala 3 conversions can be applied to arguments without language imports. For instance, the definitions of
 `++` and `flatMap` in the Scala 2.13 `List` class could be retrofitted as follows.
 ```scala
   def ++ (elems: IterableOnce[A] @into): List[A]

tests/warn/convertible.scala

@@ -32,13 +32,13 @@ object Test:
   c1("abc") // warn, eta expansion does not preserve into
 
   val c2 = if ??? then g else g3
-  c2("abc") // warn, eta expesnion does not preserve into
+  c2("abc") // warn, eta expansion does not preserve into
 
   val c3 = if ??? then g3 else g
-  c3("abc") // warn, eta expesnion does not preserve into
+  c3("abc") // warn, eta expansion does not preserve into
 
   def h1[X](x: X)(y: X): Unit = ()
 
   def h(x: into Text) =
     val y = h1(x)
-    y("abc")  // warn, eta expesnion does not preserve into
+    y("abc")  // warn, eta expansion does not preserve into