diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/OrderingConstraint.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/OrderingConstraint.scala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/OrderingConstraint.scala b/src/dotty/tools/dotc/core/OrderingConstraint.scala index 65185ff4f..53378435e 100644 --- a/src/dotty/tools/dotc/core/OrderingConstraint.scala +++ b/src/dotty/tools/dotc/core/OrderingConstraint.scala @@ -288,6 +288,10 @@ class OrderingConstraint(private val boundsMap: ParamBounds, newConstraint(boundsMap.updated(poly, entries1), lowerMap, upperMap).init(poly) } + /** Split dependent parameters off the bounds for parameters in `poly`. + * Update all bounds to be normalized and update ordering to account for + * dependent parameters. + */ private def init(poly: PolyType)(implicit ctx: Context): This = { var current = this val loBuf, hiBuf = new mutable.ListBuffer[PolyParam] |