9cf5e51988
This should make it easier to refactor the migration logic without having to change tests too much. Note that there is a minor loss of test coverage: in test_functionInvocation_parameter_fromLocalParameter, we no longer verify that non-null intent is sufficent to force a check to occur. This is ok, because in future CLs, we will be simplifying the logic for deciding when to add null checks so that it occurs precisely when it's necessary to avoid a type mismatch. Once that change has been made, the correct behavior with non-null intent will happen automatically. Change-Id: I087c5c800fae3defa5b68380f05da40700af1359 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/100793 Reviewed-by: Konstantin Shcheglov <scheglov@google.com> Reviewed-by: Brian Wilkerson <brianwilkerson@google.com> Reviewed-by: Dan Rubel <danrubel@google.com> Commit-Queue: Paul Berry <paulberry@google.com>