diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-08-22 15:46:06 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-08-26 11:13:15 +0200 |
| commit | 23d1bfb4111d8aff513659f2b3e3dd695b9b6e03 (patch) | |
| tree | 500cb526bde1bdb56707f6606c551a6c6eb573e9 /tests/pos-special | |
| parent | f5972c7904ce802e3e7668094726c21c3a603419 (diff) | |
| download | dotty-23d1bfb4111d8aff513659f2b3e3dd695b9b6e03.tar.gz dotty-23d1bfb4111d8aff513659f2b3e3dd695b9b6e03.tar.bz2 dotty-23d1bfb4111d8aff513659f2b3e3dd695b9b6e03.zip | |
Make expressions using GADTs type check in later phases
GADT logic is lost after PatMat. To make code typecheck, the typer
should already insert casts where a subtype check succeeded because
it involved bounds established by a GADT comparison.
Diffstat (limited to 'tests/pos-special')
0 files changed, 0 insertions, 0 deletions