Cleanups

Author: odersky

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

@@ -1952,6 +1952,7 @@ object Types {
       case TypeBounds(_, hi) => hi
       case st => st
     }
+
     def superTypeNormalized(using Context): Type = superType.normalized
 
     /** Same as superType, except for two differences:
@@ -4203,30 +4204,10 @@ object Types {
         cachedSuper = tycon match
           case tycon: HKTypeLambda => defn.AnyType
           case tycon: TypeRef if tycon.symbol.isClass => tycon
-          case tycon: TypeProxy =>
-            if isMatchAlias then validSuper = Nowhere
-            val was = tycon.superType.applyIfParameterized(args)
-            if false then
-              val now = was.normalized
-              if was ne now then
-                println(i"norm $was / $now")
-                new Error().printStackTrace()
-            was
+          case tycon: TypeProxy => tycon.superType.applyIfParameterized(args)
           case _ => defn.AnyType
       cachedSuper
 
-    override def superTypeNormalized(using Context) =
-      if ctx.period != validSuper then
-        validSuper = if (tycon.isProvisional) Nowhere else ctx.period
-        cachedSuper = tycon match
-          case tycon: HKTypeLambda => defn.AnyType
-          case tycon: TypeRef if tycon.symbol.isClass => tycon
-          case tycon: TypeProxy =>
-            if isMatchAlias then validSuper = Nowhere
-            tycon.superType.applyIfParameterized(args)
-          case _ => defn.AnyType
-      cachedSuper.normalized
-
     override def translucentSuperType(using Context): Type = tycon match {
       case tycon: TypeRef if tycon.symbol.isOpaqueAlias =>
         tycon.translucentSuperType.applyIfParameterized(args)