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/disabled/not-testable | |
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/disabled/not-testable')
0 files changed, 0 insertions, 0 deletions