diff options
author | Martin Odersky <odersky@gmail.com> | 2014-08-17 10:51:45 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-08-17 13:00:03 +0200 |
commit | f91f030290ac817888a6249d91118f42b560ab87 (patch) | |
tree | aff75c7376ece580e77e4a2a9276e7437f7f2b67 /src/dotty/tools/dotc/core/transform/Erasure.scala | |
parent | 90aef309eaf72ab0c09494eb030c57789955bb21 (diff) | |
download | dotty-f91f030290ac817888a6249d91118f42b560ab87.tar.gz dotty-f91f030290ac817888a6249d91118f42b560ab87.tar.bz2 dotty-f91f030290ac817888a6249d91118f42b560ab87.zip |
Disabling adapt in TreeChecker
well-typed code should not need further adapations. That's why `adapt` is
replaced by a subtype assertion in TreeChecker.
Flushed out two instances where typechecking did not produce well-adapted trees -
one in typedClosure, the other manifested itself in typedSuper.
Diffstat (limited to 'src/dotty/tools/dotc/core/transform/Erasure.scala')
0 files changed, 0 insertions, 0 deletions