Ok, without checking, what do you think happens? (List(0): Seq[Int]) match { case _: List[Int] => 1 case _ => 2 }
-
This Tweet is unavailable.
-
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.
-
-
Wow, my memories must have tricked me.
-
The type erasure warnings still appear... but only when they ought to!
End of conversation
New conversation -
-
-
This Tweet is unavailable.
-
This one is quite useful for teaching, actually. It demonstrates the compiler's ability to act as a constraint solver, combining both runtime and compile-time information.
End of 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.