CreateDataProperty is sometimes called with ? but can't throw

[jyasskin]

https://tc39.github.io/ecma262/#sec-internalizejsonproperty, https://tc39.github.io/ecma262/#sec-createdatapropertyorthrow, and a few other places use "? CreateDataProperty(...)", but its definition appears to use just true and false return values to say whether it has succeeded.

This is related to #253.

[shvaikalesh]

O may be an exotic Proxy object with defineProperty trap that throws or breaks invariants. Please, see [[DefineOwnProperty]].

[shvaikalesh]

O may be an exotic Proxy object with defineProperty trap that throws or breaks invariants. Please, see [[DefineOwnProperty]].

[jyasskin]

In that case, the far more common use of CreateDataProperty() without either ! or ? should be fixed.

[jyasskin]

In that case, the far more common use of CreateDataProperty() without either ! or ? should be fixed.

[shvaikalesh]

I have checked all (49) usages of CreateDataProperty and there are no calls without ! or ? that may receive Proxy as first argument.

[shvaikalesh]

I have checked all (49) usages of CreateDataProperty and there are no calls without ! or ? that may receive Proxy as first argument.

[ljharb]

@shvaikalesh any user-provided object, including "this" values, could be a Proxy.

[ljharb]

@shvaikalesh any user-provided object, including "this" values, could be a Proxy.

[shvaikalesh]

All ! / ?-less calls operate on objects created in the same abstract operation or method, mostly arrays or plain objects. They do not get any user-passed stuff.

[shvaikalesh]

All ! / ?-less calls operate on objects created in the same abstract operation or method, mostly arrays or plain objects. They do not get any user-passed stuff.

[shvaikalesh]

may receive Proxy as first argument.

sorry for the confusion, I meant first argument of CreateDataProperty

[shvaikalesh]

may receive Proxy as first argument.

sorry for the confusion, I meant first argument of CreateDataProperty

[ljharb]

Does the HTML spec use that abstract operation at all?

[ljharb]

Does the HTML spec use that abstract operation at all?

[annevk]

@ljharb it does at the end of https://html.spec.whatwg.org/multipage/infrastructure.html#structuredclone preceded by ?. Although I think in HTML's case it cannot really be called on a proxy so maybe that is wrong?

[annevk]

@ljharb it does at the end of https://html.spec.whatwg.org/multipage/infrastructure.html#structuredclone preceded by ?. Although I think in HTML's case it cannot really be called on a proxy so maybe that is wrong?