diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-11-19 21:19:25 +0100 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-11-26 22:29:26 +0100 |
commit | 0271a4a3944153bb4fcc81e3b250bc084b692db3 (patch) | |
tree | ce1748ebff2d90db1fdccd60b8b6bab58f1b55e0 /test/files/neg/t7984.scala | |
parent | 7cd50ba39c332c39990bc3a7103e1f86b040032e (diff) | |
download | scala-0271a4a3944153bb4fcc81e3b250bc084b692db3.tar.gz scala-0271a4a3944153bb4fcc81e3b250bc084b692db3.tar.bz2 scala-0271a4a3944153bb4fcc81e3b250bc084b692db3.zip |
SI-7984 Issue unchecked warning for type aliases
- Dealias pattern types before launching the CheckabilityChecker
- Sharpen the error messages to explain that the dealiased type
is the expansion of the alias.
Diffstat (limited to 'test/files/neg/t7984.scala')
-rw-r--r-- | test/files/neg/t7984.scala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/files/neg/t7984.scala b/test/files/neg/t7984.scala new file mode 100644 index 0000000000..ca09a89fc7 --- /dev/null +++ b/test/files/neg/t7984.scala @@ -0,0 +1,7 @@ +class Test { + type ListInt = List[Int] + List[Any]("") match { + case is: ListInt => is.head + case _ => + } +} |