diff options
author | Martin Odersky <odersky@gmail.com> | 2014-08-12 18:06:35 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-08-12 18:06:35 +0200 |
commit | ab8ee535fc2f16f3ece55326e58dec6171614829 (patch) | |
tree | e06a7cd9ca9fef52fada1c0ec30a3840acfdc15b /src/dotty/tools/dotc/printing/RefinedPrinter.scala | |
parent | 472d7114da29c869e3fa2e97b7045b797937737b (diff) | |
download | dotty-ab8ee535fc2f16f3ece55326e58dec6171614829.tar.gz dotty-ab8ee535fc2f16f3ece55326e58dec6171614829.tar.bz2 dotty-ab8ee535fc2f16f3ece55326e58dec6171614829.zip |
mergeDenot should prefer concerete over deferred.
Previously it did this only sometimes. Now it always prefers
concrete over deferred unless the deferred info is a proper subtype
of the concrete info.
Diffstat (limited to 'src/dotty/tools/dotc/printing/RefinedPrinter.scala')
0 files changed, 0 insertions, 0 deletions