diff options
author | Martin Odersky <odersky@gmail.com> | 2014-03-08 18:44:58 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-03-20 13:02:40 +0100 |
commit | 021c251869ddeccc9ff91ab5c0867a11f3c8cea3 (patch) | |
tree | 69079094b807562d2cdc676a6ac530170cdfe122 /src/dotty/tools/dotc/core/TypeOps.scala | |
parent | 88c4a6cddefb6bf3e7d1ac3c61358cc06abd8bd4 (diff) | |
download | dotty-021c251869ddeccc9ff91ab5c0867a11f3c8cea3.tar.gz dotty-021c251869ddeccc9ff91ab5c0867a11f3c8cea3.tar.bz2 dotty-021c251869ddeccc9ff91ab5c0867a11f3c8cea3.zip |
Merge refined types when distributing via "|".
Use the equality (where ~ is any form of refinement)
T1 { x ~ R1 } & T2 { x ~ R2 } == T1 & T2 { x ~ R1 & R2 }
We already did the same thing when distributing via "&".
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeOps.scala')
0 files changed, 0 insertions, 0 deletions