definitely_unassigned_late_local_variable

The late local variable '{0}' is definitely unassigned at this point.

The analyzer produces this diagnostic when definite assignment analysis shows that a local variable that's marked as late is read before being assigned.

The following code produces this diagnostic because x wasn't assigned a value before being read:

void f(bool b) {
  late int x;
  print(x);
}

Assign a value to the variable before reading from it:

void f(bool b) {
  late int x;
  x = b ? 1 : 0;
  print(x);
}