diff options
| author | Paul Phillips <paulp@improving.org> | 2012-09-26 08:38:00 -0700 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2012-09-26 10:35:22 -0700 |
| commit | 17b409b7832f541e3d52d2776c8ff3c47574ae0f (patch) | |
| tree | d3863c488d4c68b2f5f58d657db3f420b75b075e /test/files/neg/unchecked-knowable.scala | |
| parent | 43bf1ea07ccf4ccf5a63743e322d4b64320fc1c1 (diff) | |
| download | scala-17b409b7832f541e3d52d2776c8ff3c47574ae0f.tar.gz scala-17b409b7832f541e3d52d2776c8ff3c47574ae0f.tar.bz2 scala-17b409b7832f541e3d52d2776c8ff3c47574ae0f.zip | |
Restored warning for impossible type tests.
I had this in before, then removed it since it is sometimes
redundant with an error message later issued by the pattern
matcher (e.g. scrutinee is incompatible with pattern type.)
However it also catches a lot of cases which are not errors,
so I think the modest redundancy is tolerable for now.
I also enhanced the logic for recognizing impossible
type tests, taking sealedness into account.
Diffstat (limited to 'test/files/neg/unchecked-knowable.scala')
0 files changed, 0 insertions, 0 deletions