tighten_type_of_initializing_formals

Use a type annotation rather than 'assert' to enforce non-nullability.

O analisador produz este diagnóstico quando um assert é usado na lista de inicializadores de um construtor para garantir que apenas um valor não null seja usado para inicializar um campo.

O código a seguir produz este diagnóstico porque um assert é usado para capturar um erro que poderia ser capturado pelo sistema de tipos:

class C {
  final String? s;
​
  C(this.s) : assert(s != null);
}

Remova o assert e adicione o tipo não anulável antes do parâmetro formal de inicialização:

class C {
  final String? s;
​
  C(String this.s);
}