unnecessary_null_assert_pattern

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

O analisador emite este diagnóstico quando um padrão de asserção de nulo (null-assert) é usado para casar com um valor que não é anulável.

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

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

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

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