Warn when pattern matching against non-nullable array

[abeln]

The pattern matcher can't distinguish between

??? match {
  case a: Array[String|Null] => ???
  case a: Array[String] => ???
}

Should we warn the user when they try to do this?