diff options
| author | odersky <odersky@gmail.com> | 2016-12-10 14:45:51 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-10 14:45:51 +0100 |
| commit | 48309018fc2ab8d38c46408326f739e5652412c7 (patch) | |
| tree | 1c297dc5a1b53bd7a6732bbf13608eb83319bb84 /tests/pos/i1765.scala | |
| parent | ac160ea20dc3a18cad33484286cb3e37e9fe1171 (diff) | |
| parent | 306c31214b8f729b810d1f162da20ff8ca6a2848 (diff) | |
| download | dotty-48309018fc2ab8d38c46408326f739e5652412c7.tar.gz dotty-48309018fc2ab8d38c46408326f739e5652412c7.tar.bz2 dotty-48309018fc2ab8d38c46408326f739e5652412c7.zip | |
Merge pull request #1769 from dotty-staging/fix-#1751
Fix #1751: Make dominator work after erasure
Diffstat (limited to 'tests/pos/i1765.scala')
0 files changed, 0 insertions, 0 deletions