Drop skipCapturing in isRef

Author: odersky

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

@@ -191,24 +191,22 @@ object Types {
      *        It makes no sense for it to be an alias type because isRef would always
      *        return false in that case.
      */
-    def isRef(sym: Symbol, skipRefined: Boolean = true, skipCapturing: Boolean = false)(using Context): Boolean = this match {
+    def isRef(sym: Symbol, skipRefined: Boolean = true)(using Context): Boolean = this match {
       case this1: TypeRef =>
         this1.info match { // see comment in Namer#typeDefSig
-          case TypeAlias(tp) => tp.isRef(sym, skipRefined, skipCapturing)
+          case TypeAlias(tp) => tp.isRef(sym, skipRefined)
           case _ => this1.symbol eq sym
         }
       case this1: RefinedOrRecType if skipRefined =>
-        this1.parent.isRef(sym, skipRefined, skipCapturing)
+        this1.parent.isRef(sym, skipRefined)
       case this1: AppliedType =>
         val this2 = this1.dealias
-        if (this2 ne this1) this2.isRef(sym, skipRefined, skipCapturing)
-        else this1.underlying.isRef(sym, skipRefined, skipCapturing)
+        if (this2 ne this1) this2.isRef(sym, skipRefined)
+        else this1.underlying.isRef(sym, skipRefined)
       case this1: TypeVar =>
-        this1.instanceOpt.isRef(sym, skipRefined, skipCapturing)
+        this1.instanceOpt.isRef(sym, skipRefined)
       case this1: AnnotatedType =>
-        this1.parent.isRef(sym, skipRefined, skipCapturing)
-      case this1: CapturingType if skipCapturing =>
-        this1.parent.isRef(sym, skipRefined, skipCapturing)
+        this1.parent.isRef(sym, skipRefined)
       case _ => false
     }