Make normalizing superTypes valid nowhere

Author: OlivierBlanvillain

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

@@ -4105,6 +4105,21 @@ object Types {
 
     override def underlying(using Context): Type = tycon
 
+    override def superType(using Context): Type =
+      if ctx.period != validSuper then
+        validSuper = if (tycon.isProvisional) Nowhere else ctx.period
+        def reappliedSuper = tycon.superType.applyIfParameterized(args).normalized
+        cachedSuper = tycon match
+          case tycon: HKTypeLambda => defn.AnyType
+          case tycon: TypeRef =>
+            if tycon.symbol.isClass then tycon
+            else
+              if tycon.info.isInstanceof[MatchAlias] then validSuper = Nowhere
+              reappliedSuper
+          case tycon: TypeProxy => reappliedSuper
+          case _ => defn.AnyType
+      cachedSuper
+
     override def superType(using Context): Type = {
       if (ctx.period != validSuper) {
         cachedSuper = tycon match {