diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-01-13 09:26:52 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-01-13 09:26:52 +0100 |
| commit | 0ce813b1887348c148faa0525f4053227913014e (patch) | |
| tree | e19f7ea2be71da5cdfa09a638d32162a710ff45f /src/dotty/tools/dotc/core/Types.scala | |
| parent | 6b83b526cd3c9e0ce2931bd9b999b67ea230a705 (diff) | |
| download | dotty-0ce813b1887348c148faa0525f4053227913014e.tar.gz dotty-0ce813b1887348c148faa0525f4053227913014e.tar.bz2 dotty-0ce813b1887348c148faa0525f4053227913014e.zip | |
Redo isFullyDefinedAccumulator
The new scheme is robust even when following freshky instantiated type variables. These did not show up in the old varianceMap scheme.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions