diff options
author | Martin Odersky <odersky@gmail.com> | 2017-02-27 11:25:33 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-02-28 19:34:42 +0100 |
commit | 0baeb8e22c085a73a129859f7c07d578e1122c0b (patch) | |
tree | bb420aca645fd5f2269f499d7673cae68d05c6a8 /tests/run | |
parent | c3a90a4a9a9827d199ec436fcfda7c5447731542 (diff) | |
download | dotty-0baeb8e22c085a73a129859f7c07d578e1122c0b.tar.gz dotty-0baeb8e22c085a73a129859f7c07d578e1122c0b.tar.bz2 dotty-0baeb8e22c085a73a129859f7c07d578e1122c0b.zip |
Don't align aliases in refined types by default
We previously tried to force S1 and S2 be the same type
when encountering a lub like `T1 { A = S1 } & T2 { A = S2 }`.
The comments in this commit explain why this is unsound, so
this rewrite is now made subject to a new config option, which
is off by default.
I verified that the new behavior does not affect the performance of
the junit tests.
Diffstat (limited to 'tests/run')
0 files changed, 0 insertions, 0 deletions