« Bugzilla Issues Index

#1136 — Add invariant regarding getter and setter object identity for non-configurable accessors

MarkM thinks that this invariant being missing in an oversight.

It's not so clear to me.

In ES5 we did not have anything like a complete set of invariants. We only had want was proposed as necessary for a few specific integrity motivated use cases.

For ES6, it isn't clear to me that we can get agreement on a complete set but we can try.

However, instead of adding in new isolated invariants we need a full invariant set to evaluate

Somebody should put together a proposal for the complete invariant set for the MOP (internal methods).