debugging

Author: bracevac

compiler/src/dotty/tools/dotc/cc/CaptureSet.scala

@@ -563,7 +563,12 @@ object CaptureSet:
       else
         computingApprox = true
         try
-          val approx = computeApprox(origin).ensuring(_.isConst)
+          val approx =
+            try
+              computeApprox(origin).ensuring(_.isConst)
+            catch
+              case ex: Throwable =>
+                throw IllegalArgumentException(s"error computing upperApprox for $this and origin $origin")
           if approx.elems.exists(Existential.isExistentialVar(_)) then
             ccState.approxWarnings +=
                 em"""Capture set variable $this gets upper-approximated
@@ -778,9 +783,13 @@ object CaptureSet:
      *  These situations are modeled by the two branches of the conditional below.
      */
     override def computeApprox(origin: CaptureSet)(using Context): CaptureSet =
-      val supApprox = super.computeApprox(this)
-      if source eq origin then supApprox.map(bimap.inverse)
-      else source.upperApprox(this).map(bimap) ** supApprox
+      try
+        val supApprox = super.computeApprox(this)
+        if source eq origin then supApprox.map(bimap.inverse)
+        else source.upperApprox(this).map(bimap) ** supApprox
+      catch
+        case ex: Throwable =>
+          throw IllegalArgumentException(s"error computing computeApprox for $this and origin $origin")
 
     override def isMaybeSet: Boolean = bimap.isInstanceOf[MaybeMap]
     override def toString = s"BiMapped$id($source, elems = $elems)"