pattern_variable_assignment_inside_guard

Pattern variables can't be assigned inside the guard of the enclosing guarded pattern.

O analisador emite este diagnóstico quando uma variável de padrão recebe um valor dentro de uma cláusula de guarda (when).

O código a seguir produz este diagnóstico porque a variável a recebe um valor dentro da cláusula de guarda:

void f(int x) {
  if (x case var a when (a = 1) > 0) {
    print(a);
  }
}

Se houver um valor que você precisa capturar, então atribua-o a outra variável:

void f(int x) {
  var b = 0;
  if (x case var a when (b = 1) > 0) {
    print(a + b);
  }
}

Se não houver um valor que você precisa capturar, então remova a atribuição:

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