void_checks

Assignment to a variable of type 'void'.

O analisador gera este diagnóstico quando um valor é atribuído a uma variável do tipo void.

Não é possível acessar o valor de uma variável desse tipo, então a atribuição não tem valor.

O código a seguir gera este diagnóstico porque o campo value tem o tipo void, mas um valor está sendo atribuído a ele:

class A<T> {
  T? value;
}
​
void f(A<void> a) {
  a.value = 1;
}

O código a seguir gera este diagnóstico porque o tipo do parâmetro p do método m é void, mas um valor está sendo atribuído a ele na invocação:

class A<T> {
  void m(T p) {}
}
​
void f(A<void> a) {
  a.m(1);
}

Se o tipo da variável está incorreto, então altere o tipo da variável:

class A<T> {
  T? value;
}
​
void f(A<int> a) {
  a.value = 1;
}

Se o tipo da variável está correto, então remova a atribuição:

class A<T> {
  T? value;
}
​
void f(A<void> a) {}