@@ -593,7 +593,7 @@ object Types {
593
593
}
594
594
595
595
/** Is this type close enough to that type so that members
596
- * with the two type would override each other?d
596
+ * with the two types would override each other?
597
597
* This means:
598
598
* - Either both types are polytypes with the same number of
599
599
* type parameters and their result types match after renaming
@@ -680,14 +680,14 @@ object Types {
680
680
case _ => this
681
681
}
682
682
683
- /** Widen type if it is unstable (i.e. an EpxprType , or Termref to unstable symbol */
683
+ /** Widen type if it is unstable (i.e. an ExprType , or TermRef to unstable symbol */
684
684
final def widenIfUnstable (implicit ctx : Context ): Type = stripTypeVar match {
685
685
case tp : ExprType => tp.resultType.widenIfUnstable
686
686
case tp : TermRef if ! tp.symbol.isStable => tp.underlying.widenIfUnstable
687
687
case _ => this
688
688
}
689
689
690
- /** Follow aliases and derefernces LazyRefs and instantiated TypeVars until type
690
+ /** Follow aliases and dereferences LazyRefs and instantiated TypeVars until type
691
691
* is no longer alias type, LazyRef, or instantiated type variable.
692
692
*/
693
693
final def dealias (implicit ctx : Context ): Type = this match {
@@ -706,7 +706,7 @@ object Types {
706
706
case tp => tp
707
707
}
708
708
709
- /** Peform successive widenings and dealiasings until none can be applied anymore */
709
+ /** Perform successive widenings and dealiasings until none can be applied anymore */
710
710
final def widenDealias (implicit ctx : Context ): Type = {
711
711
val res = this .widen.dealias
712
712
if (res eq this ) res else res.widenDealias
@@ -928,9 +928,9 @@ object Types {
928
928
}
929
929
930
930
/** Same as `subst` but follows aliases as a fallback. When faced with a reference
931
- * to an alias type, where normal substiution does not yield a new type, the
931
+ * to an alias type, where normal substitution does not yield a new type, the
932
932
* substitution is instead applied to the alias. If that yields a new type,
933
- * this type is returned, outherwise the original type (not the alias) is returned.
933
+ * this type is returned, otherwise the original type (not the alias) is returned.
934
934
* A use case for this method is if one wants to substitute the type parameters
935
935
* of a class and also wants to substitute any parameter accessors that alias
936
936
* the type parameters.
@@ -1153,7 +1153,7 @@ object Types {
1153
1153
def map (tm : TypeMap )(implicit ctx : Context ): ProtoType
1154
1154
}
1155
1155
1156
- /** Implementations of this trait cache the resukts of `narrow`. */
1156
+ /** Implementations of this trait cache the results of `narrow`. */
1157
1157
trait NarrowCached extends Type {
1158
1158
private var myNarrow : TermRef = null
1159
1159
override def narrow (implicit ctx : Context ): TermRef = {
@@ -1194,7 +1194,7 @@ object Types {
1194
1194
* timing dependent. It should only be used if the outcome of the
1195
1195
* essential computation does not depend on the symbol being present or not.
1196
1196
* It's currently used to take an optimized path in substituters and
1197
- * type accumulators, as well as to be safe in diagnostiic printing.
1197
+ * type accumulators, as well as to be safe in diagnostic printing.
1198
1198
* Normally, it's better to use `symbol`, not `currentSymbol`.
1199
1199
*/
1200
1200
def currentSymbol (implicit ctx : Context ) =
@@ -2587,7 +2587,7 @@ object Types {
2587
2587
/** The type of an import clause tree */
2588
2588
case class ImportType (expr : Tree ) extends UncachedGroundType
2589
2589
2590
- /** Sentinal for "missing type" */
2590
+ /** Sentinel for "missing type" */
2591
2591
case object NoType extends CachedGroundType {
2592
2592
override def exists = false
2593
2593
override def computeHash = hashSeed
0 commit comments