Summary: Flow analysis incorrectly handles late variable assignment within an if (s == null) block where s is a non-nullable String. The analyzer doesn't flag the subsequent use of the late variable as an error, despite it potentially being unassigned.

Seems that the below is one more demonstration of the same issue.

void test(int x) {
  late int i;
  x ?? (i = 42); // Warning: dead_null_aware_expression
  i; // Definitely unassigned, but no expected error
//^
// [analyzer] unspecified
// [cfe] unspecified
}

@sgrekhov

Sorry for the slow response; this got buried in my inbox.

Probably this happens because s == null is not always false in an unsound mode, but there are no mentions of unsound mode in the flow analysis spec.

You are exactly right, that's the reason why the body of if (s == null) ... isn't flagged as unreachable in your example. I'll update the spec to match the implementation, and include a comment explaining the rationale.

Note that now that support for unsound null safety has been completely removed (0060b0f), I intend to change this behavior to match what the spec currently says. But since we're past the Beta 2 cutoff for Dart 3.8, I won't be doing it until Dart 3.9 at the earliest. See dart-lang/language#3100.

You are exactly right, that's the reason why the body of if (s == null) ... isn't flagged as unreachable in your example. I'll update the spec to match the implementation, and include a comment explaining the rationale.

Proposed spec change is here: dart-lang/language#4284