diff options
author | Martin Odersky <odersky@gmail.com> | 2016-08-22 15:43:43 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-08-26 11:13:15 +0200 |
commit | f5972c7904ce802e3e7668094726c21c3a603419 (patch) | |
tree | 656bac68837136b5558fdc3dbe1fba5a2c04f6ee /tests/pos-special | |
parent | b3005424d449b6280aab9b2c92d13c1c9e914f76 (diff) | |
download | dotty-f5972c7904ce802e3e7668094726c21c3a603419.tar.gz dotty-f5972c7904ce802e3e7668094726c21c3a603419.tar.bz2 dotty-f5972c7904ce802e3e7668094726c21c3a603419.zip |
Fix testing in tree checker.
Tree checker typed always dropped the expected type and replaced it by a wildcard.
This meant that type checking dor -Ycheck was much weaker than it should be.
A class of GADT problems is only diagnosed once the expected type is proberly
propagated.
Diffstat (limited to 'tests/pos-special')
0 files changed, 0 insertions, 0 deletions