tree adaf92e1315775f9cb2dfd165f6414915799d9bd
parent 6c812c27bede0fec3c640edc61b6a3458b5a3495
author Paul Berry <paulberry@google.com> 1535028453 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1535028453 +0000

Work around #34235 in front_end.

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