diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-06-07 16:05:50 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-06-07 16:05:50 +0200 |
| commit | 2b3c5c60cea83b3add2774bbfa840aa91312cb01 (patch) | |
| tree | 248547afd974775aec6c2c60b79835f2aa80a9a7 /tests/pos | |
| parent | 2414bfeda301410fe64f8adddd22a24a15621850 (diff) | |
| download | dotty-2b3c5c60cea83b3add2774bbfa840aa91312cb01.tar.gz dotty-2b3c5c60cea83b3add2774bbfa840aa91312cb01.tar.bz2 dotty-2b3c5c60cea83b3add2774bbfa840aa91312cb01.zip | |
Move GADT check to `typeTyped`
Diffstat (limited to 'tests/pos')
0 files changed, 0 insertions, 0 deletions