diff options
author | Martin Odersky <odersky@gmail.com> | 2015-05-04 21:20:38 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-05-04 21:20:47 +0200 |
commit | 6780dbd0a66fdaec6a7be2faac78620e8922cbd4 (patch) | |
tree | 136404b6503bc36ff23d6ed7728e0143987dccf3 /LICENSE.md | |
parent | cfa2ba030becec1f0e12994f120b65ca5e99badb (diff) | |
download | dotty-6780dbd0a66fdaec6a7be2faac78620e8922cbd4.tar.gz dotty-6780dbd0a66fdaec6a7be2faac78620e8922cbd4.tar.bz2 dotty-6780dbd0a66fdaec6a7be2faac78620e8922cbd4.zip |
Make data race detection more liberal.
Allow to rebind a NmedType to refer to a symbol in a subclass
of where the previous symbol was defined. This generalizes the
previous rule that we allow to rebind from a root method to
its synthetic implementation.
The change is not necessary to make the new scheme of computeDenot pass
the tests, but it seems useful to avoid spurious errors elsehere.
Diffstat (limited to 'LICENSE.md')
0 files changed, 0 insertions, 0 deletions