Added alternative TrackingConstraint

This is an alternative low-level constraint implementation.

1 files changed, 7 insertions, 1 deletions

diff --git a/src/dotty/tools/dotc/core/ConstraintHandling.scala b/src/dotty/tools/dotc/core/ConstraintHandling.scala
index 264cff012..2aa2a4acd 100644
--- a/src/dotty/tools/dotc/core/ConstraintHandling.scala
+++ b/src/dotty/tools/dotc/core/ConstraintHandling.scala
@@ -146,7 +146,13 @@ trait ConstraintHandling {
     /** Install bounds for param */
     def install(param: PolyParam, newBounds: TypeBounds, oldBounds: TypeBounds): Unit = {
       val curBounds = constraint.bounds(param)
-      constraint = constraint.updated(param, newBounds)
+      try {
+        constraint = constraint.updated(param, newBounds)
+      } catch {
+        case ex: AssertionError =>
+          println(i"error while updating $param $newBounds\n$constraint")
+          throw ex
+      }
       if (curBounds ne oldBounds) {
         // In this case the bounds were updated previously by a recursive isSubType in
         // the satisfiability check of prepare. Reapply the previously added bounds, but