diff options
author | Martin Odersky <odersky@gmail.com> | 2014-03-31 15:42:52 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-04-08 16:55:49 +0200 |
commit | eb3df0db4a57d89c0d7370a9180742273db166b2 (patch) | |
tree | 6fc1d5db88e416b1df0bfa4a1deefab98550aa1e /tests/untried/neg-with-implicits/t3995.scala | |
parent | 26185f6b17429d2af7686139dbb4d13ede4c9e99 (diff) | |
download | dotty-eb3df0db4a57d89c0d7370a9180742273db166b2.tar.gz dotty-eb3df0db4a57d89c0d7370a9180742273db166b2.tar.bz2 dotty-eb3df0db4a57d89c0d7370a9180742273db166b2.zip |
Corrected computations of union denotations.
Cannot discard a symbol simply because the other side's type is weaker.
If in (A | B)#m A and B resolve to different symbols `m`, the resulting denotation
cannot have either `m` as symbol; it must be NoSymbol instead.
Diffstat (limited to 'tests/untried/neg-with-implicits/t3995.scala')
0 files changed, 0 insertions, 0 deletions