diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2016-12-19 17:12:12 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2016-12-19 17:18:39 +0100 |
commit | a7d17e286760879a35dfaeeadca1dbad2aa85dfc (patch) | |
tree | 946874b6ea32e18168ea1c296ed1493d503b7f9a /docs/docs | |
parent | 3270404d2a6ea5fc96a3ba475e9a79fb977f3a32 (diff) | |
download | dotty-a7d17e286760879a35dfaeeadca1dbad2aa85dfc.tar.gz dotty-a7d17e286760879a35dfaeeadca1dbad2aa85dfc.tar.bz2 dotty-a7d17e286760879a35dfaeeadca1dbad2aa85dfc.zip |
Fix #1812, Symbols.mapSymbols shouldn't force annotation transformation.
Reasoning similar to one in the previous commit also applies to annotations.
Diffstat (limited to 'docs/docs')
0 files changed, 0 insertions, 0 deletions