tree 73869b0309c1ed7da6d3b1e621fe0e6c47e13ed0
parent 94f1c0b4eb64b0a13af490d5d41d1635f3b460d8
author Paul Berry <paulberry@google.com> 1601514931 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1601514931 +0000

Flow analysis: promote to non-nullable on initialization

When flow analysis encounters a variable declaration of the form `T? x
= expr;`, if the type of `expr` is `T`, then the variable is
immediately promoted to type `T`.

Fixes #43099.

Change-Id: Ia206fe0d50e2fdd9bdf637e13c85633d8490dbcc
Bug: https://github.com/dart-lang/sdk/issues/43099
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/163841
Commit-Queue: Paul Berry <paulberry@google.com>
Reviewed-by: Bob Nystrom <rnystrom@google.com>
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>