Create an issue about sdk

[julemand101]

This kind of question are more fitting the community channels you can find here: https://dart.dev/community

The reason for the missing promotion is that your code could be imported in another program where Foo gets extended in another class which could provide another implementation of the x value.

See, by making x final, it just means that we have no setter of the value. But we can override x with our own getter which does not return the same value each time we ask for x:

class FooBar extends Foo {
  int? get x => Random().nextBool() ? null : 5;
}

Now, your null-check would no longer be valid. In recent version of Dart, the check have been made more advanced so if you rename x to _x to make it private, it would then get promoted. The reason here is that since it is private, it is no longer being able to get overridden by another class which are not part of your own package. So we no longer have this "surprise" factor where a user of your package gets a null-check error for something they could not know about.