diff options
author | Martin Odersky <odersky@gmail.com> | 2015-06-25 22:03:01 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-06-26 18:12:11 +0200 |
commit | 4b48243a24e533ba81149df956fdc16cdaf1460e (patch) | |
tree | ca1794cd908fa93259fa081e68f43682ed2fb4da /tests/pending/run/t6687.scala | |
parent | 5e6a9a28241ea8c64617bf90f9c331a352409035 (diff) | |
download | dotty-4b48243a24e533ba81149df956fdc16cdaf1460e.tar.gz dotty-4b48243a24e533ba81149df956fdc16cdaf1460e.tar.bz2 dotty-4b48243a24e533ba81149df956fdc16cdaf1460e.zip |
Fix erasure of Thistypes.
Thistypes erased to the underlying class. This is wrong. When seen as part of some other type,
a ThisType has to erase to the erasure of the underlying type (i.e. the erasure if the selftype
of the class). unittest-collections.scala failed with a MethodNotFound error because the erasure
was computed incorrectly.
On the other hand, a tree with a ThisType type, should keep the type, analogous to a
tree with a TermRef type.
Diffstat (limited to 'tests/pending/run/t6687.scala')
0 files changed, 0 insertions, 0 deletions