diff options
| -rw-r--r-- | src/dotty/tools/dotc/core/ConstraintHandling.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/ConstraintHandling.scala b/src/dotty/tools/dotc/core/ConstraintHandling.scala index 2435fd9dc..f8eae186a 100644 --- a/src/dotty/tools/dotc/core/ConstraintHandling.scala +++ b/src/dotty/tools/dotc/core/ConstraintHandling.scala @@ -223,7 +223,7 @@ trait ConstraintHandling { final def canConstrain(param: PolyParam): Boolean = !frozenConstraint && (constraint contains param) - /** Add constraint `param <: bond` if `fromBelow` is true, `param >: bound` otherwise. + /** Add constraint `param <: bound` if `fromBelow` is false, `param >: bound` otherwise. * `bound` is assumed to be in normalized form, as specified in `firstTry` and * `secondTry` of `TypeComparer`. In particular, it should not be an alias type, * lazy ref, typevar, wildcard type, error type. In addition, upper bounds may |