read_potentially_unassigned_final

The final variable '{0}' can't be read because it's potentially unassigned at this point.

O analisador emite este diagnóstico quando uma variável local final que não é inicializada no ponto da declaração é lida em um ponto onde o compilador não consegue provar que a variável sempre foi inicializada antes de ser referenciada.

O código a seguir gera este diagnóstico porque a variável local final x é lida (na linha 3) quando é possível que ela ainda não tenha sido inicializada:

int f() {
  final int x;
  return x;
}

Garanta que a variável tenha sido inicializada antes de ser lida:

int f(bool b) {
  final int x;
  if (b) {
    x = 0;
  } else {
    x = 1;
  }
  return x;
}