Figuring out the behavior of WindowProxy in the face of non-configurable properties

Mark Miller erights at
Sun Nov 30 19:29:08 PST 2014

On Sun, Nov 30, 2014 at 6:12 PM, Mark S. Miller <erights at> wrote:
> Put another way, if this invariant is preserved by WindowProxy, then

Should be: "is not preserved by" or "is violated by"

> anyone else seeking to create another object that violates this
> invariant can create a Proxy whose target is a WindowProxy. Its
> violation enables further violations. The invariants are inductive. A
> violation breaks the induction.



More information about the es-discuss mailing list