tree 335cb7196ad05f7a6123963b971566d5472555dd
parent 331b3a76584218ceaed35f454487230241674dc9
author Paul Berry <paulberry@google.com> 1559660069 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1559660069 +0000

Migration: recognize /*!*/ as expressing non-null intent.

Change-Id: Ic9f0b3f560df00adf5e7cbab71b3380f6c43c0aa
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/104801
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>