diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/OrderingConstraint.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/OrderingConstraint.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/OrderingConstraint.scala b/src/dotty/tools/dotc/core/OrderingConstraint.scala index 115d0f8c0..7e27ee628 100644 --- a/src/dotty/tools/dotc/core/OrderingConstraint.scala +++ b/src/dotty/tools/dotc/core/OrderingConstraint.scala @@ -445,7 +445,7 @@ class OrderingConstraint(private val boundsMap: ParamBounds, val bndss1 = bndss.map(_.filterConserve(_.binder ne pt)) if (bndss.corresponds(bndss1)(_ eq _)) bndss else bndss1 } - po.remove(pt).mapValues(removeFromBoundss) + po.remove(pt).mapValuesNow(removeFromBoundss) } newConstraint(boundsMap.remove(pt), removeFromOrdering(lowerMap), removeFromOrdering(upperMap)) } |