cast_from_nullable_always_fails

This cast will always throw an exception because the nullable local variable '{0}' is not assigned.

O analisador emite este diagnóstico quando uma variável local que tem um tipo anulável não recebeu um valor e é convertida (cast) para um tipo não anulável. Como a variável não foi atribuída, ela tem o valor padrão null, fazendo com que a conversão lance uma exceção.

O código a seguir produz este diagnóstico porque a variável x é convertida para um tipo não anulável (int) quando se sabe que ela tem o valor null:

void f() {
  num? x;
  x as int;
  print(x);
}

Se a variável deve ter um valor antes da conversão, adicione um inicializador ou uma atribuição:

void f() {
  num? x = 3;
  x as int;
  print(x);
}

Se a variável não deve ser atribuída, remova a conversão:

void f() {
  num? x;
  print(x);
}