diff options
author | Martin Odersky <odersky@gmail.com> | 2014-04-29 16:14:42 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-05-08 21:51:46 +0200 |
commit | ef8f24203f4a3ef75d0b8e45a9dd9470bd474e7d (patch) | |
tree | e568b66eb7d8c33bc0770c0fb3b043d007a93078 /src/dotty/tools/dotc/core/Definitions.scala | |
parent | f84a49d4502c9a1ad328c1f5a3a558afade63848 (diff) | |
download | dotty-ef8f24203f4a3ef75d0b8e45a9dd9470bd474e7d.tar.gz dotty-ef8f24203f4a3ef75d0b8e45a9dd9470bd474e7d.tar.bz2 dotty-ef8f24203f4a3ef75d0b8e45a9dd9470bd474e7d.zip |
Tightened satisfiablity checks.
Satisfiability was too loose before. It is noww tightened. We check that the lower bounds
of all constrained parameters represent a solution to the constraint. To make the check pass
we have to first propagate the constraint by re-verifying all bounds.
Diffstat (limited to 'src/dotty/tools/dotc/core/Definitions.scala')
0 files changed, 0 insertions, 0 deletions