diff options
author | Martin Odersky <odersky@gmail.com> | 2014-06-12 15:50:37 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-06-12 15:50:37 +0200 |
commit | a77a4f6d8bd8f9990eac23859c399abb3b93df7c (patch) | |
tree | 98f10e70a6daec4df7a27f4774305e30f127c79e /tests | |
parent | c4f96837538e953df3473107bd5d622092f74d80 (diff) | |
download | dotty-a77a4f6d8bd8f9990eac23859c399abb3b93df7c.tar.gz dotty-a77a4f6d8bd8f9990eac23859c399abb3b93df7c.tar.bz2 dotty-a77a4f6d8bd8f9990eac23859c399abb3b93df7c.zip |
Fix RefinementType#member
Type members used to always pick the last refined info for a type name.
This is incorrect, as a type might have several refinements for the
same type name, which are not necessarily subsumed by the last one.
We now only pick the last one if it is an alias type (assuming we check
for conflicts elsewhere).
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions