diff options
author | Martin Odersky <odersky@gmail.com> | 2014-01-02 17:59:26 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-01-02 17:59:26 +0100 |
commit | 1aaca404f83020a06a460d56841cd0a6b82b989b (patch) | |
tree | f8d3cecd19a7bae6ab36813182f21c169175d88e /test/dotc/tests.scala | |
parent | 37002e9fb650510e16cd038c5d7026bed50060f9 (diff) | |
download | dotty-1aaca404f83020a06a460d56841cd0a6b82b989b.tar.gz dotty-1aaca404f83020a06a460d56841cd0a6b82b989b.tar.bz2 dotty-1aaca404f83020a06a460d56841cd0a6b82b989b.zip |
Tweak to isFullyDefined
The isFullyDefined accumulator will now maximize variables which are contravariant in the type, rather than minimizing them. Fits better in the general scheme and makes a pattern match in TreeInfo go through.
Diffstat (limited to 'test/dotc/tests.scala')
0 files changed, 0 insertions, 0 deletions