« Bugzilla Issues Index
#4538 — 6.1.7.3: Missing invariant for [[IsExtensible]] ?
- bug_id:
4538
- creation_ts:
2015-09-18 07:22:00 -0700
- short_desc:
6.1.7.3: Missing invariant for [[IsExtensible]] ?
- delta_ts:
2015-11-03 11:58:45 -0800
- product:
ECMA-262 Edition 6
- component:
technical issues
- version:
unspecified
- rep_platform:
All
- op_sys:
All
- bug_status:
RESOLVED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
normal
- everconfirmed:
true
- reporter:
André Bargull
- assigned_to:
Allen Wirfs-Brock
- cc:
brterlso
- commentid:
14700
- comment_count:
0
- who:
André Bargull
- bug_when:
2015-09-18 07:22:50 -0700
6.1.7.3 Invariants of the Essential Internal Methods
The required invariants for [[IsExtensible]] seem to missing. I'd expect the following definition:
---
[[IsExtensible]] ( )
- The Type of the return value must be Boolean.
- If [[IsExtensible]] returns false, all future calls to [[IsExtensible]] on the target must return false.
---
- commentid:
14893
- comment_count:
1
- who:
Brian Terlson
- bug_when:
2015-11-03 11:58:45 -0800
Fixed in ES2016 Draft (0e423ef).