diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-08-01 14:37:57 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-08-16 17:32:54 +0200 |
| commit | d2120ca8accb7d6b8438431931c84870e835512c (patch) | |
| tree | 651c495bd7c92061500118c550eddb16422c7a52 /src/dotty/tools/dotc/core/Types.scala | |
| parent | a57b4a3ec5b139711ad7e729040165e58751a49c (diff) | |
| download | dotty-d2120ca8accb7d6b8438431931c84870e835512c.tar.gz dotty-d2120ca8accb7d6b8438431931c84870e835512c.tar.bz2 dotty-d2120ca8accb7d6b8438431931c84870e835512c.zip | |
Suspend interpolating typevars when there are unreported errors.
Interpolating typevars that appear co- or contra-variantly in a type
is a cleanup measure - it helps keep the constraint set small. However,
if there are uneported errors, some of these errors might report on
unsatisfiable constraints for these type variables. In that case, instantiating
the type variables risks being confusing.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions