diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-27 15:13:23 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-01-27 15:13:23 +0100 |
commit | a4937916037f74b414c9bab1819681ed2ecd7fdc (patch) | |
tree | 71cf57f98ad8a49096711614fa6ec2c858f8d614 /src/dotty/tools/dotc/core/ConstraintHandling.scala | |
parent | eb4d80891bcfaf9ffa402ea36f1562c5f597e479 (diff) | |
download | dotty-a4937916037f74b414c9bab1819681ed2ecd7fdc.tar.gz dotty-a4937916037f74b414c9bab1819681ed2ecd7fdc.tar.bz2 dotty-a4937916037f74b414c9bab1819681ed2ecd7fdc.zip |
Fixups taking into account reviewer's comments.
Diffstat (limited to 'src/dotty/tools/dotc/core/ConstraintHandling.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/ConstraintHandling.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/ConstraintHandling.scala b/src/dotty/tools/dotc/core/ConstraintHandling.scala index 02f5bf87f..478fc5740 100644 --- a/src/dotty/tools/dotc/core/ConstraintHandling.scala +++ b/src/dotty/tools/dotc/core/ConstraintHandling.scala @@ -218,7 +218,8 @@ trait ConstraintHandling { * `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 - * not be AndTypes and lower bounds may not be OrTypes. + * not be AndTypes and lower bounds may not be OrTypes. This is assured by the + * way isSubType is organized. */ protected def addConstraint(param: PolyParam, bound: Type, fromBelow: Boolean): Boolean = { def description = i"constr $param ${if (fromBelow) ">:" else "<:"} $bound:\n$constraint" |