not_initialized_non_nullable_variable

The non-nullable variable '{0}' must be initialized.

O analisador emite este diagnóstico quando um campo estático ou uma variável de nível superior tem um tipo não anulável e não tem inicializador. Campos e variáveis sem inicializador normalmente são inicializados com null, mas o tipo do campo ou da variável não permite que receba null, então um inicializador explícito deve ser informado.

O código a seguir produz este diagnóstico porque o campo f não pode ser inicializado com null:

class C {
  static int f;
}

De forma semelhante, o código a seguir produz este diagnóstico porque a variável de nível superior v não pode ser inicializada com null:

int v;

Se o campo ou a variável não puder ser inicializado com null, então adicione um inicializador que o defina com um valor não nulo:

class C {
  static int f = 0;
}

Se o campo ou a variável deve poder ser null, então altere o tipo para ser anulável:

int? v;

Se o campo ou a variável não puder ser inicializado na declaração, mas sempre será inicializado antes de ser referenciado, então marque-o como late:

class C {
  static late int f;
}