diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-02-03 10:03:24 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-02-03 10:41:08 +0100 |
| commit | 4fab474454be9d2ac615ca39517a9f6c262bf187 (patch) | |
| tree | a75c82c267a58c256c24a1ad197e902a9441414d /tests/pos/collections.scala | |
| parent | 4886d7cb538f9a073827c78671d1890be787c0a5 (diff) | |
| download | dotty-4fab474454be9d2ac615ca39517a9f6c262bf187.tar.gz dotty-4fab474454be9d2ac615ca39517a9f6c262bf187.tar.bz2 dotty-4fab474454be9d2ac615ca39517a9f6c262bf187.zip | |
Optimize subtype test between refined types with multiple refinements
We now pair refinedInfos with the same name as deeply as wek can (before only went to depth 1).
Diffstat (limited to 'tests/pos/collections.scala')
0 files changed, 0 insertions, 0 deletions