| // This file was procedurally generated from the following sources: |
| // - src/dstr-binding/obj-ptrn-prop-id-init-unresolvable.case |
| // - src/dstr-binding/error/try.template |
| /*--- |
| description: Destructuring initializer is an unresolvable reference (try statement) |
| esid: sec-runtime-semantics-catchclauseevaluation |
| features: [destructuring-binding] |
| flags: [generated] |
| info: | |
| Catch : catch ( CatchParameter ) Block |
| |
| [...] |
| 5. Let status be the result of performing BindingInitialization for |
| CatchParameter passing thrownValue and catchEnv as arguments. |
| [...] |
| |
| 13.3.3.7 Runtime Semantics: KeyedBindingInitialization |
| |
| BindingElement : BindingPattern Initializeropt |
| |
| [...] |
| 3. If Initializer is present and v is undefined, then |
| a. Let defaultValue be the result of evaluating Initializer. |
| b. Let v be GetValue(defaultValue). |
| c. ReturnIfAbrupt(v). |
| |
| 6.2.3.1 GetValue (V) |
| |
| 1. ReturnIfAbrupt(V). |
| 2. If Type(V) is not Reference, return V. |
| 3. Let base be GetBase(V). |
| 4. If IsUnresolvableReference(V), throw a ReferenceError exception. |
| ---*/ |
| |
| assert.throws(ReferenceError, function() { |
| try { |
| throw {}; |
| } catch ({ x: y = unresolvableReference }) {} |
| }); |