diff options
author | Martin Odersky <odersky@gmail.com> | 2014-04-21 14:49:40 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-05-08 21:48:08 +0200 |
commit | afb541ade2fc83f47661e1d94cee00f7a4b32178 (patch) | |
tree | 4a2d855b2f4d4ffcc29697a049073a8907d22fea /tests/untried/neg/checksensibleUnit.check | |
parent | b6e3c9d15d1e9569d14cd98a57406683fbb3690d (diff) | |
download | dotty-afb541ade2fc83f47661e1d94cee00f7a4b32178.tar.gz dotty-afb541ade2fc83f47661e1d94cee00f7a4b32178.tar.bz2 dotty-afb541ade2fc83f47661e1d94cee00f7a4b32178.zip |
Fix of TyperState#instType
If a type variable TV1 is instantiated to a poly param, and the poly param
is itself accomanied by a type variable TV2, then the instance of TV1 should
be TV2 and not the original poly param. Otherwise we lose instantiations. This
is demonstrated by running dotc on the .scala files in the dotc directory itself
with option -Ycheck.
Diffstat (limited to 'tests/untried/neg/checksensibleUnit.check')
0 files changed, 0 insertions, 0 deletions