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/pos/unions.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/pos/unions.scala')
0 files changed, 0 insertions, 0 deletions