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 /src/dotty/tools/dotc/core/NameOps.scala | |
| 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 'src/dotty/tools/dotc/core/NameOps.scala')
0 files changed, 0 insertions, 0 deletions