type_init_formals

Don't needlessly type annotate initializing formals.

O analisador produz este diagnóstico quando um parâmetro formal de inicialização (this.x) ou um parâmetro super (super.x) tem uma anotação de tipo explícita que é igual à do campo ou do parâmetro sobrescrito.

Se um parâmetro de construtor usa this.x para inicializar um campo, então o tipo do parâmetro é implicitamente o mesmo tipo do campo. Se um parâmetro de construtor usa super.x para repassar ao construtor da superclasse, então o tipo do parâmetro é implicitamente o mesmo do parâmetro super do construtor da superclasse.

O código a seguir produz este diagnóstico porque o parâmetro this.c tem um tipo explícito que é igual ao do campo c:

class C {
  int c;
​
  C(int this.c);
}

O código a seguir produz este diagnóstico porque o parâmetro super.a tem um tipo explícito que é igual ao do parâmetro a da superclasse:

class A {
  A(int a);
}
​
class B extends A {
  B(int super.a);
}

Remova a anotação de tipo do parâmetro:

class C {
  int c;
​
  C(this.c);
}