Ok, without checking, what do you think happens? (List(0): Seq[Int]) match { case _: List[Int] => 1 case _ => 2 }
-
The new GADT checking in Dotty will give you more precise types in pattern matches, but there are various non-GADT issues, e.g. https://github.com/scala/bug/issues/9188 … is fixed in Dotty while https://github.com/scala/bug/issues/6890 … is still unsound
That was an interesting read into things I never usually attempt with pattern matching! Thank you!