Ok, without checking, what do you think happens? (List(0): Seq[Int]) match { case _: List[Int] => 1 case _ => 2 }
-
This Tweet is unavailable.
-
So I guess the compiler has enough information in this specific case to know that checking for a `List[Int]` makes sense and does not then issue the type erasure warning. Not sure if this is the subtlety you were talking about.
-
-
Nice, is this a (relatively) new thing? I'm quite sure I've seen type erasure warnings on similar checks years ago and avoided them since then.
-
No, it was there in Scala 2.10, and maybe earlier.
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.