diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-28 17:01:56 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-01-28 17:01:56 +0100 |
commit | 494aee2feef50fadaf9f851eae4128e8dad81f8a (patch) | |
tree | 0c747cbb476194303e1b69b5d669b18d22dfb3ac /tests | |
parent | ab0a83d1456877c6a38f32b1d2a4529cbaa90a45 (diff) | |
parent | 4c02b441da6c54fa47c01bff98a423dcbd46203b (diff) | |
download | dotty-494aee2feef50fadaf9f851eae4128e8dad81f8a.tar.gz dotty-494aee2feef50fadaf9f851eae4128e8dad81f8a.tar.bz2 dotty-494aee2feef50fadaf9f851eae4128e8dad81f8a.zip |
Merge pull request #1910 from dotty-staging/fix/#1908-synthetic-desugarings
Fix #1908: give synthetic default params correct flags
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions