diff options
author | Martin Odersky <odersky@gmail.com> | 2014-10-07 09:07:14 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-10-12 10:49:35 +0200 |
commit | 5de255637589b800ffc99ddb3453ccd651bfafc9 (patch) | |
tree | 285d28125822132793223feb84a4530d9126abc4 /LICENSE.md | |
parent | 2ca36a96aee3f2e5cc9073b8970659180f839f95 (diff) | |
download | dotty-5de255637589b800ffc99ddb3453ccd651bfafc9.tar.gz dotty-5de255637589b800ffc99ddb3453ccd651bfafc9.tar.bz2 dotty-5de255637589b800ffc99ddb3453ccd651bfafc9.zip |
Fixes to TermRefs and others in TypeErasure.
1) TermRefs are now erased to their widened underlying type. The only exception
are top-level term refs (e.g. the types of Ident or Select nodes), which are
treated as before. Those top-level refs are treated by erasedRef instead of erasure.
2) We make sure that erasure methods are not run after phase erasure. Reason: After
erasure underlying types change, which affects itself the result of erasure.
Diffstat (limited to 'LICENSE.md')
0 files changed, 0 insertions, 0 deletions