TBR=tebbi@chromium.org

Bug: v8:9239
Change-Id: I9634001a4b6a46680175b9dd04075a313788514c
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/1609544Reviewed-by: Sigurd Schneider <sigurds@chromium.org>
Commit-Queue: Sigurd Schneider <sigurds@chromium.org>
Cr-Commit-Position: refs/heads/master@{#61452}