Fix some typos

compiler/src/dotty/tools/dotc/ast/tpd.scala

@@ -571,7 +571,7 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {
       else foldOver(sym, tree)
   }
 
-  /** The owner to be used in a local context when traversin a tree */
+  /** The owner to be used in a local context when traversing a tree */
   def localOwner(tree: Tree)(using Context): Symbol =
     val sym = tree.symbol
     (if sym.is(PackageVal) then sym.moduleClass else sym).orElse(ctx.owner)

compiler/src/dotty/tools/dotc/reporting/messages.scala

@@ -2507,7 +2507,7 @@ import transform.SymUtils._
     def defKind = if tree.symbol.is(Module) then "object" else "class"
     def msg = s"Case $defKind definitions are not allowed in inline methods or quoted code. Use a normal $defKind instead."
     def explain =
-      em"""Case class/object definitions generate a considerable fooprint in code size.
+      em"""Case class/object definitions generate a considerable footprint in code size.
           |Inlining such definition would multiply this footprint for each call site.
           |""".stripMargin
   }

library/src/scala/Selectable.scala

@@ -47,7 +47,7 @@ object Selectable:
    *  on the precise `paramTypes`. Subtypes of `WithoutPreciseParameterTypes`
    *  can have more relaxed subtyping rules for refinements. They do not need
    *  the additional restriction that the signatures of the refinement and
-   *  the definition that implements the refinment must match.
+   *  the definition that implements the refinement must match.
    */
   @since("3.1")
   trait WithoutPreciseParameterTypes extends Selectable