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/neg/compExceptions | |
| 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/neg/compExceptions')
0 files changed, 0 insertions, 0 deletions