Cleanups

Author: odersky

compiler/src/dotty/tools/dotc/config/Config.scala

@@ -2,8 +2,6 @@ package dotty.tools.dotc.config
 
 object Config {
 
-  val newScheme = true
-
   final val cacheMembersNamed = true
   final val cacheAsSeenFrom = true
   final val cacheMemberNames = true

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

@@ -1242,10 +1242,7 @@ object SymDenotations {
     def opaqueAlias(implicit ctx: Context): Type = {
       def recur(tp: Type): Type = tp match {
         case RefinedType(parent, rname, TypeAlias(alias)) =>
-          if rname == name then alias match
-            case alias: LazyRef => alias.ref
-            case _ => alias
-          else recur(parent)
+          if rname == name then alias.stripLazyRef else recur(parent)
         case _ =>
           NoType
       }

compiler/src/dotty/tools/dotc/typer/Namer.scala

@@ -1004,8 +1004,7 @@ class Namer { typer: Typer =>
         sym.info = NoCompleter
         sym.info = sym.opaqueToBounds(checkNonCyclic(sym, unsafeInfo, reportErrors = true))
       }
-      if !Config.newScheme then sym.normalizeOpaque()
-      else if sym.isOpaqueAlias then sym.typeRef.recomputeDenot() // make sure we see the new bounds from now on
+      if sym.isOpaqueAlias then sym.typeRef.recomputeDenot() // make sure we see the new bounds from now on
       sym.resetFlag(Provisional)
 
       // Here we pay the price for the cavalier setting info to TypeBounds.empty above.