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

@@ -1157,7 +1157,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()