move implementation of baseClasses into FlexibleType

Author: olhotak

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

@@ -52,7 +52,7 @@ object TypeOps:
         Stats.record("asSeenFrom skolem prefix required")
       case _ =>
     }
-    
+
     new AsSeenFromMap(pre, cls).apply(tp)
   }
 
@@ -237,7 +237,6 @@ object TypeOps:
         if tp1.isBottomType && (tp1 frozen_<:< tp2) then orBaseClasses(tp2)
         else if tp2.isBottomType && (tp2 frozen_<:< tp1) then orBaseClasses(tp1)
         else intersect(orBaseClasses(tp1), orBaseClasses(tp2))
-      case FlexibleType(tp1) => orBaseClasses(tp1)
       case _ => tp.baseClasses
 
     /** The minimal set of classes in `cs` which derive all other classes in `cs` */

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

@@ -3382,7 +3382,7 @@ object Types {
       if this.tp eq under then this else FlexibleType(under)
     override def computeHash(bs: Binders): Int = doHash(bs, tp)
     override def toString = "FlexibleType(%s)".format(tp)
-    //override def hash = NotCached
+    override final def baseClasses(using Context): List[ClassSymbol] = underlying.baseClasses
   }
 
   // --- AndType/OrType ---------------------------------------------------------------