diff options
author | Martin Odersky <odersky@gmail.com> | 2016-08-23 10:27:08 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-08-26 11:13:16 +0200 |
commit | 6d4469a627244eb0620a51764a3494f8250a8e2b (patch) | |
tree | 152c056ca56aad5ef8483d7721b97915f8bc4d94 /tests/disabled | |
parent | 05ba0abd71ef6e0aa281d32c0723bca515421697 (diff) | |
download | dotty-6d4469a627244eb0620a51764a3494f8250a8e2b.tar.gz dotty-6d4469a627244eb0620a51764a3494f8250a8e2b.tar.bz2 dotty-6d4469a627244eb0620a51764a3494f8250a8e2b.zip |
Retracting special case depending on Ycheck.
I believe it's better to just bite the bullet and insert the cast.
If it should become a problem, we can think of a fallback, e.g. marking the
expression with a special tag, so that it does not get typechecked. But
for the moment I am not sure it is an issue at all.
Diffstat (limited to 'tests/disabled')
0 files changed, 0 insertions, 0 deletions