diff options
| -rw-r--r-- | src/dotty/tools/dotc/config/Config.scala | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/dotty/tools/dotc/config/Config.scala b/src/dotty/tools/dotc/config/Config.scala index 461a15ac8..3cc3091b5 100644 --- a/src/dotty/tools/dotc/config/Config.scala +++ b/src/dotty/tools/dotc/config/Config.scala @@ -15,10 +15,10 @@ object Config { */ final val checkConstraintsNonCyclic = false - /** Make sure none of the bounds in an OrderingConstraint contains - * another constrained parameter at its toplevel (i.e. as an operand - * of a combination of &'s and |'s.). The check is performed each time - * a new bound is added to the constraint. + /** Make sure none of the bounds of a parameter in an OrderingConstraint + * contains this parameter at its toplevel (i.e. as an operand of a + * combination of &'s and |'s.). The check is performed each time a new bound + * is added to the constraint. */ final val checkConstraintsSeparated = false |