Fix typos

Author: odersky

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

@@ -76,7 +76,7 @@ class TyperState(previous: TyperState /* | Null */) {
   /** The uninstantiated variables */
   def uninstVars = constraint.uninstVars
 
-  /** The set of uninstantiated type varibles which have this state as their owning state */
+  /** The set of uninstantiated type variables which have this state as their owning state */
   private[this] var myOwnedVars: TypeVars = SimpleIdentitySet.empty
   def ownedVars = myOwnedVars
   def ownedVars_=(vs: TypeVars): Unit = myOwnedVars = vs

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

@@ -341,7 +341,7 @@ trait Inferencing { this: Typer =>
    *      Y <: X
    *
    *  Then `Y` also occurs co-variantly in `T` because it needs to be minimized in order to constrain
-   *  `T` teh least. See `variances` for more detail.
+   *  `T` the least. See `variances` for more detail.
    */
   def interpolateTypeVars(tree: Tree, pt: Type, locked: TypeVars)(implicit ctx: Context): tree.type = {
     val state = ctx.typerState