// Copyright 2017 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

async function f() {
  let { a: await b } = { a: 1 };
  return b;
}
f();