f157b5ff80
When flow analysis encounters a variable declaration of the form `var x = expr;`, if the type of `expr` is `X&T`, then the variable is given the inferred type `X`, but it is immediately promoted to `X&T`. Change-Id: I2a5ffca3860ab009f0942e6efc641c1604ab6323 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/163840 Reviewed-by: Johnni Winther <johnniwinther@google.com> Reviewed-by: Konstantin Shcheglov <scheglov@google.com> Commit-Queue: Paul Berry <paulberry@google.com>