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.check | |
| 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.check')
| -rw-r--r-- | test/files/neg/t7984.check | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/files/neg/t7984.check b/test/files/neg/t7984.check new file mode 100644 index 0000000000..0cfd7d1619 --- /dev/null +++ b/test/files/neg/t7984.check @@ -0,0 +1,6 @@ +t7984.scala:4: warning: non-variable type argument Int in type pattern List[Int] (the underlying of Test.this.ListInt) is unchecked since it is eliminated by erasure + case is: ListInt => is.head + ^ +error: No warnings can be incurred under -Xfatal-warnings. +one warning found +one error found |