unnecessary_null_check_pattern

The null-check pattern will have no effect because the matched type isn't nullable.

O analisador emite este diagnóstico quando um padrão de verificação de nulo é usado para casar com um valor que não é anulável.

O código a seguir produz este diagnóstico porque o valor x não é anulável:

void f(int x) {
  if (x case var a? when a > 0) {}
}

Remova o padrão de verificação de nulo:

void f(int x) {
  if (x case var a when a > 0) {}
}