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/t3692-new.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/t3692-new.check')
| -rw-r--r-- | test/files/neg/t3692-new.check | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/files/neg/t3692-new.check b/test/files/neg/t3692-new.check index 9b96449930..bb8692f3ca 100644 --- a/test/files/neg/t3692-new.check +++ b/test/files/neg/t3692-new.check @@ -1,10 +1,10 @@ -t3692-new.scala:14: warning: non-variable type argument Int in type pattern Map[Int,Int] is unchecked since it is eliminated by erasure +t3692-new.scala:14: warning: non-variable type argument Int in type pattern scala.collection.immutable.Map[Int,Int] (the underlying of Map[Int,Int]) is unchecked since it is eliminated by erasure case m0: Map[Int, Int] => new java.util.HashMap[Integer, Integer] ^ -t3692-new.scala:15: warning: non-variable type argument Int in type pattern Map[Int,V] is unchecked since it is eliminated by erasure +t3692-new.scala:15: warning: non-variable type argument Int in type pattern scala.collection.immutable.Map[Int,V] (the underlying of Map[Int,V]) is unchecked since it is eliminated by erasure case m1: Map[Int, V] => new java.util.HashMap[Integer, V] ^ -t3692-new.scala:16: warning: non-variable type argument Int in type pattern Map[T,Int] is unchecked since it is eliminated by erasure +t3692-new.scala:16: warning: non-variable type argument Int in type pattern scala.collection.immutable.Map[T,Int] (the underlying of Map[T,Int]) is unchecked since it is eliminated by erasure case m2: Map[T, Int] => new java.util.HashMap[T, Integer] ^ t3692-new.scala:15: warning: unreachable code |