diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-01-14 19:06:25 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-01-14 19:09:34 +0100 |
| commit | 566dd6e8a44090168ebe8e6703fea27152802286 (patch) | |
| tree | 1fa6d213a9ecd459cbf1fbab36a5d9991d805c24 /src/dotty/tools/dotc/core/ConstraintHandling.scala | |
| parent | 19234838329aabfe202a2fbf46470528baebd83c (diff) | |
| download | dotty-566dd6e8a44090168ebe8e6703fea27152802286.tar.gz dotty-566dd6e8a44090168ebe8e6703fea27152802286.tar.bz2 dotty-566dd6e8a44090168ebe8e6703fea27152802286.zip | |
Fix skolemization logic.
The skolemsOutstanding flag was reset too early. Just de-skolemizing one type does
not guarantee that all further types are skolem-free.
Diffstat (limited to 'src/dotty/tools/dotc/core/ConstraintHandling.scala')
0 files changed, 0 insertions, 0 deletions