tree 15fdd97a629420372212e53937b20df3915763d9
parent a8590a287ec2e76b8c4155149d9a681df892767b
author Paul Berry <paulberry@google.com> 1617457416 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1617457416 +0000

Improve error message for non-promotion due to assignment.

This is clearer because:

- The use of "could not be promoted" is consistent with the other "why
  not promoted" messages.

- We avoid speculating about whether the variable might be assigned a
  null value; this should help avoid confusion in cases where the user
  can see that assigning a null value is impossible, but promotion
  still fails.

- We avoid the phrase "intervening write", which is a little too
  erudite.

Bug: https://github.com/dart-lang/sdk/issues/44898
Change-Id: I0b8a2132dc99dd06769677f98e6257e9b55ad9d6
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/193820
Commit-Queue: Paul Berry <paulberry@google.com>
Reviewed-by: Bob Nystrom <rnystrom@google.com>