diff options
author | Martin Odersky <odersky@gmail.com> | 2015-06-02 12:56:11 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-06-02 12:56:11 +0200 |
commit | 4182fb78ce173ed234a184cee4fc4493b706c77f (patch) | |
tree | 8454387014864a5ba3284b15e825614c6a0b8e8d /tests/run/t3935.scala | |
parent | 0a0d3dd1a79cb211e5caf93f37b7ef6f484508b2 (diff) | |
download | dotty-4182fb78ce173ed234a184cee4fc4493b706c77f.tar.gz dotty-4182fb78ce173ed234a184cee4fc4493b706c77f.tar.bz2 dotty-4182fb78ce173ed234a184cee4fc4493b706c77f.zip |
Refine "&" for denotations.
The policy is now made clear in a doc comment. The new part is that we will prefer
a symbol defined in a subclass over a symbol defined in a superclass. With the previous
commit 0a0d3dd1 on "More precise and uniform modelling of isCurrent" we got runtime test
failures for Course-2002-03.scala because the new definition isCurrent assumed a behavior
of `member` which was not assured: Namely that the merged denotation would prefer symbols
in subclasses over symbols in superclasses.
Diffstat (limited to 'tests/run/t3935.scala')
0 files changed, 0 insertions, 0 deletions