diff options
author | Martin Odersky <odersky@gmail.com> | 2017-03-11 20:56:02 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-03-12 12:11:49 +0100 |
commit | fac74a618ae4666490cd8c7fd3f9604d877562d9 (patch) | |
tree | 6ceb2db2beb93a0faec2d46933362d9470ff4209 /tests/pos/i996.scala | |
parent | b2d3b8938391516e81f18962e67f5bacf0aa2440 (diff) | |
download | dotty-fac74a618ae4666490cd8c7fd3f9604d877562d9.tar.gz dotty-fac74a618ae4666490cd8c7fd3f9604d877562d9.tar.bz2 dotty-fac74a618ae4666490cd8c7fd3f9604d877562d9.zip |
Fix #1569: Improve avoidance algorithm
The essential change is that we do not throw away more
precise info of the avoided type if the expected type
is fully defined.
Diffstat (limited to 'tests/pos/i996.scala')
0 files changed, 0 insertions, 0 deletions