Null-aware return doesn't promote variable

[feinstein]

Consider this code:

final lastTransaction = transactions.lastOrNull;
if (lastTransaction?.expirationDate == null) {
  return false;
}

final expirationDate = DateTime.tryParse(lastTransaction!.expirationDate!);

If I remove the !, I get an analyser error saying I can't use lastTransaction because it can be null. I believe the analyser should be able to conclude that lastTransaction can't be null, because it's a final local variable, and the ?. in the if check would ensure there's no valid code path for it to still be null.

[lrhn]

The compiler doesn't recognize that x?.y != null implies that x is not null.
Only comparisons directly against it x can promote x.

There are existing issues suggesting such indirect implications, but they're not always as clear-cut as directed checks out the variable.

In this case x?.y != null can promote x to non-null, but x?.y == null does not imply that x is null.

[mateusfccp]

Similar to #1224.

Doesn't this work for you?

final expirationDate = transactions.lastOrNull?.expirationDate;
if (expirationDate == null) {
  return false;
}

final parsedExpirationDate = DateTime.tryParse(expirationDate);