diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-04-03 17:57:23 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-04-08 16:56:18 +0200 |
| commit | 3486eb0088f78e8ca93c0bc8f883c2af53ee7d3d (patch) | |
| tree | dabec550963a84d9f6c72feb800117661aab6e36 /src/dotty/tools/dotc/core/Denotations.scala | |
| parent | 879a0b25f2129a1f723953f3cd8f8c82d8ff7f62 (diff) | |
| download | dotty-3486eb0088f78e8ca93c0bc8f883c2af53ee7d3d.tar.gz dotty-3486eb0088f78e8ca93c0bc8f883c2af53ee7d3d.tar.bz2 dotty-3486eb0088f78e8ca93c0bc8f883c2af53ee7d3d.zip | |
Avoid creating a local dummy when retyping.
Retyping should not create new symbols and that includes local dummys.
Diffstat (limited to 'src/dotty/tools/dotc/core/Denotations.scala')
0 files changed, 0 insertions, 0 deletions