// Copyright (C) 2017 Lucas Azzola. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
author: Lucas Azzola
esid: pending
description: lexical environment runtime semantics for optional catch binding
features: [optional-catch-binding]
info: |
Runtime Semantics: CatchClauseEvaluation
Catch : catch Block
Let oldEnv be the running execution context's LexicalEnvironment.
Let catchEnv be NewDeclarativeEnvironment(oldEnv).
Set the running execution context's LexicalEnvironment to catchEnv.
(...)
Set the running execution context's LexicalEnvironment to oldEnv.
Return Completion(B).
---*/
let x = 1;
let ranCatch = false;
try {
x = 2;
throw new Error();
} catch {
let x = 3;
let y = true;
ranCatch = true;
}
assert(ranCatch, 'executed `catch` block');
assert.sameValue(x, 2);
assert.throws(ReferenceError, function() {
y;
});