Some polishings

Author: odersky

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

@@ -484,8 +484,6 @@ class TypeErasure(isJava: Boolean, semiEraseVCs: Boolean, isConstructor: Boolean
       // constructor method should not be semi-erased.
       else if (isConstructor && isDerivedValueClass(sym)) eraseNormalClassRef(tp)
       else this(tp)
-    case RefinedType(parent, _, _) if !(parent isRef defn.ArrayClass) => // @!!!
-      eraseResult(parent)
     case AppliedType(tycon, _) if !(tycon isRef defn.ArrayClass) =>
       eraseResult(tycon)
     case _ =>

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

@@ -1168,7 +1168,7 @@ object Types {
     /** The full parent types, including all type arguments */
     def parents(implicit ctx: Context): List[Type] = this match {
       case tp @ AppliedType(tycon, args) if tycon.typeSymbol.isClass =>
-        tycon.parents.map(_.subst(tycon.typeSymbol.typeParams, args)) // @!!! cache?
+        tycon.parents.map(_.subst(tycon.typeSymbol.typeParams, args))
       case tp: TypeRef =>
         if (tp.info.isInstanceOf[TempClassInfo]) {
           tp.reloadDenot()

tests/neg/customArgs/xfatalWarnings.scala

@@ -1,7 +1,7 @@
 object xfatalWarnings {
   val opt:Option[String] = Some("test")
 
-  opt match { // eror when running with -Xfatal-warnings
+  opt match { // would give an error when running with -Xfatal-warnings
     case None =>
   }