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/unchecked-suppress.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/unchecked-suppress.check')
-rw-r--r-- | test/files/neg/unchecked-suppress.check | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/files/neg/unchecked-suppress.check b/test/files/neg/unchecked-suppress.check index 038105918e..d3dc86014b 100644 --- a/test/files/neg/unchecked-suppress.check +++ b/test/files/neg/unchecked-suppress.check @@ -1,7 +1,7 @@ -unchecked-suppress.scala:4: warning: non-variable type argument Int in type pattern Set[Int] is unchecked since it is eliminated by erasure +unchecked-suppress.scala:4: warning: non-variable type argument Int in type pattern scala.collection.immutable.Set[Int] (the underlying of Set[Int]) is unchecked since it is eliminated by erasure case xs: Set[Int] => xs.head // unchecked ^ -unchecked-suppress.scala:5: warning: non-variable type argument String in type pattern Map[String @unchecked,String] is unchecked since it is eliminated by erasure +unchecked-suppress.scala:5: warning: non-variable type argument String in type pattern scala.collection.immutable.Map[String @unchecked,String] (the underlying of Map[String @unchecked,String]) is unchecked since it is eliminated by erasure case xs: Map[String @unchecked, String] => xs.head // one unchecked, one okay ^ unchecked-suppress.scala:7: warning: non-variable type argument Int in type pattern (Int, Int) => Int is unchecked since it is eliminated by erasure |