diff options
author | Martin Odersky <odersky@gmail.com> | 2014-08-11 10:28:51 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-08-11 10:28:51 +0200 |
commit | d388e948c0e747362256bf8ab034385a0b3f0f91 (patch) | |
tree | b3a8e7cd3b59b1567326f149b382540aa77b91f5 /src/dotty/tools/dotc/core | |
parent | f606a47894271540bc7b21eb8c7b5d85bd560f57 (diff) | |
download | dotty-d388e948c0e747362256bf8ab034385a0b3f0f91.tar.gz dotty-d388e948c0e747362256bf8ab034385a0b3f0f91.tar.bz2 dotty-d388e948c0e747362256bf8ab034385a0b3f0f91.zip |
Fix Object's scope after ersure
After erasure, former Any members become Object members.
Also, fixed some typos and added some TODOs on addBridges.
Diffstat (limited to 'src/dotty/tools/dotc/core')
0 files changed, 0 insertions, 0 deletions