diff options
| author | Guillaume Martres <smarter@ubuntu.com> | 2016-02-08 20:37:48 +0100 |
|---|---|---|
| committer | Guillaume Martres <smarter@ubuntu.com> | 2016-02-08 20:37:48 +0100 |
| commit | 7d3f6d02141bb362c4c1e383cb21a476383b5c60 (patch) | |
| tree | c1c9225624c5d88f37ee4d3cf554e98ffc20ddc7 /src/dotty/tools/dotc/core/ConstraintHandling.scala | |
| parent | 73e13e8e16eaef531aafb1ff1666047b9f2f41a4 (diff) | |
| download | dotty-7d3f6d02141bb362c4c1e383cb21a476383b5c60.tar.gz dotty-7d3f6d02141bb362c4c1e383cb21a476383b5c60.tar.bz2 dotty-7d3f6d02141bb362c4c1e383cb21a476383b5c60.zip | |
Fix documentation of ConstraintHandling#addConstraint
Diffstat (limited to 'src/dotty/tools/dotc/core/ConstraintHandling.scala')
| -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 |