tree cccb5a801c72e15cd90999d172a2f4c341a7b3ba
parent 24928ffcefae39a185ad6f46e9b0629f763b45ee
author Paul Berry <paulberry@google.com> 1550324148 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1550324148 +0000

Allow non-nullable usage to imply non-null intent.

If a method parameter is used in unconditional control flow in a way
that a `null` value would directly lead to an exception (i.e. by
dereferencing it, or by passing it to a method that requires a
non-nullable value), this is treated as implying that the method
parameter is intended to be non-nullable.

Change-Id: I4f55e4c95b3cfaee0a2ba9367b47d51083e0b7b1
Reviewed-on: https://dart-review.googlesource.com/c/93363
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>