@@new

[Domenic Denicola]

From: Boris Zbarsky [mailto:bzbarsky at MIT.EDU] 

> So this is basically option 2 from
https://mail.mozilla.org/pipermail/es-discuss/2014-June/037849.html if I understand right?

Yes, although in this case no initialization checks are necessary, just brand checks. Which I guess speaks to your point about how getting this right is tricky.

I am not sure there are too many cases where there's an interesting distinction between allocated and initialized for the DOM, though. Given how few DOM objects have reasonable constructors to begin with, it seems like most of their work is being done (conceptually) in [Symbol.create]() anyway.