Re: Violations of internal method invariants?

On Thu, Jul 31, 2014 at 1:23 AM, Boris Zbarsky <> wrote:
> And the Web IDL spec has yet another approach to this whole thing: It simply
> coerces "configurable" to true in its custom [[DefineOwnProperty]] for these
> sorts of objects (but keeps effectively separate namespaces).

Interesting. This approach doesn't seem quite kosher.

ES6 lists some invariants here that apply to all objects, even host objects:

There's not a rule that says flat-out, "If Desc.[[Configurable]] is
false and [[DefineOwnProperty]](P, Desc) returns true, that counts as
'observing' the property P as a non-configurable property on the
target." but if you take that as read, what WebIDL is doing here is

Note that steps 14-22 of 9.5.6 (Proxy#[[DefineOwnProperty]]) do some
checks which enforce this rule.

Tom, can the prose be improved? What's the intent?


Received on Thursday, 31 July 2014 13:26:48 UTC