pattern_never_matches_value_type

The matched value type '{0}' can never match the required type '{1}'.

O analisador emite este diagnóstico quando o tipo do objeto não pode ser correspondido pelo padrão.

O código a seguir produz este diagnóstico porque um double é correspondido por um padrão int, o que nunca pode ter sucesso:

void f(String? s) {
  if (s case int _) {}
}

Se um dos tipos estiver errado, então altere um ou ambos para que a correspondência de padrão possa ter sucesso:

void f(String? s) {
  if (s case String _) {}
}

Se os tipos estiverem corretos, então remova a correspondência de padrão:

void f(double x) {}