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/unchecked3.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/unchecked3.check')
-rw-r--r-- | test/files/neg/unchecked3.check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/neg/unchecked3.check b/test/files/neg/unchecked3.check index a7582a8930..0a526050fc 100644 --- a/test/files/neg/unchecked3.check +++ b/test/files/neg/unchecked3.check @@ -31,7 +31,7 @@ unchecked3.scala:62: warning: non-variable type argument Array[String] in type p unchecked3.scala:63: warning: non-variable type argument String in type pattern Array[Array[List[String]]] is unchecked since it is eliminated by erasure /* warn */ case _: Array[Array[List[String]]] => () ^ -unchecked3.scala:75: warning: abstract type A in type pattern Set[Q.this.A] is unchecked since it is eliminated by erasure +unchecked3.scala:75: warning: abstract type A in type pattern scala.collection.immutable.Set[Q.this.A] (the underlying of Set[Q.this.A]) is unchecked since it is eliminated by erasure /* warn */ case xs: Set[A] => xs.head ^ unchecked3.scala:62: warning: unreachable code |