Drop duplicate extension methods in CheckCaptures

Author: odersky

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

@@ -28,7 +28,7 @@ import reporting._
 import ProtoTypes._
 import dotty.tools.backend.jvm.DottyBackendInterface.symExtensions
 import CaptureSet.CompareResult
-import cc.CaptureOps.toCaptureSet
+import cc.CaptureOps.*
 
 object CheckCaptures:
   case class Env(owner: Symbol, captured: CaptureSet, isBoxed: Boolean, outer: Env):
@@ -37,41 +37,6 @@ object CheckCaptures:
   /** Attachment key for printing trees with rechecked types */
   val RecheckedType = Property.Key[Type]
 
-  extension (tp: Type)
-
-    /** If this is  type variable instantiated or upper bounded with a capturing type,
-     *  the capture set associated with that type. Extended to and-or types and
-     *  type proxies in the obvious way. If a term has a type with a boxed captureset,
-     *  that captureset counts towards the capture variables of the envirionment.
-     */
-    def boxedCaptured(using Context): CaptureSet =
-      def getBoxed(tp: Type, enabled: Boolean): CaptureSet = tp match
-        case tp: CapturingType if enabled => tp.refs
-        case tp: TypeVar => getBoxed(tp.underlying, enabled = true)
-        case tp: TypeRef if tp.symbol == defn.AnyClass && enabled => CaptureSet.universal
-        case tp: TypeProxy => getBoxed(tp.superType, enabled)
-        case tp: AndType => getBoxed(tp.tp1, enabled) ++ getBoxed(tp.tp2, enabled)
-        case tp: OrType => getBoxed(tp.tp1, enabled) ** getBoxed(tp.tp2, enabled)
-        case _ => CaptureSet.empty
-      getBoxed(tp, enabled = false)
-
-    /** If this type appears as an expected type of a term, does it imply
-     *  that the term should be boxed? ^^^ Special treat Any?
-     */
-    def needsBox(using Context): Boolean = tp match
-      case _: TypeVar => true
-      case tp: TypeRef =>
-        tp.info match
-          case TypeBounds(lo, _) => lo.needsBox
-          case _ => false
-      case tp: RefinedOrRecType => tp.parent.needsBox
-      case tp: AnnotatedType => tp.parent.needsBox
-      case tp: LazyRef => tp.ref.needsBox
-      case tp: AndType => tp.tp1.needsBox || tp.tp2.needsBox
-      case tp: OrType => tp.tp1.needsBox && tp.tp2.needsBox
-      case _ => false
-  end extension
-
 class CheckCaptures extends Recheck:
   thisPhase =>