Null check doesn’t cause type promotion in Dart
Dart engineer Erik Ernst says on GitHub: Type promotion is only applicable to local variables. … Promotion of an instance variable is not sound, because it could be overridden by a getter that runs a computation and returns a different object each time it is invoked. Cf. dart-lang/language#1188 for discussions about a mechanism which is … Read more