diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-08-22 16:16:06 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-08-26 11:13:16 +0200 |
| commit | 8f5bd779903d5c9f29bc3750391ffacbf3cf869e (patch) | |
| tree | bb5cea499f596ca419de557fc1b0c0e9639745f7 /tests/pos-special | |
| parent | 23d1bfb4111d8aff513659f2b3e3dd695b9b6e03 (diff) | |
| download | dotty-8f5bd779903d5c9f29bc3750391ffacbf3cf869e.tar.gz dotty-8f5bd779903d5c9f29bc3750391ffacbf3cf869e.tar.bz2 dotty-8f5bd779903d5c9f29bc3750391ffacbf3cf869e.zip | |
GADT test
This one failed in getters before because a (previously unchecked) assignment
was turned into a checked application. Now it passes.
Diffstat (limited to 'tests/pos-special')
0 files changed, 0 insertions, 0 deletions