use $ERROR instead of throwing in 15.2.3.7-2-18.js

This commit is contained in:
Meir Blachman 2020-06-22 08:07:00 +03:00 committed by Rick Waldron
parent 649d0d2c9a
commit f7322cca7a
1 changed files with 3 additions and 1 deletions

View File

@ -24,7 +24,9 @@ try {
Object.defineProperties(obj, this); Object.defineProperties(obj, this);
} catch (e) { } catch (e) {
if (!(e instanceof TypeError)) throw e; if (!(e instanceof TypeError)) {
$ERROR("Expected TypeError, got " + e);
}
result = true; result = true;
} finally { } finally {
delete this.prop; delete this.prop;