<div dir="ltr">Thanks Claude for working this up.<br><div class="gmail_extra"><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
InitializeThisBindings(nonconstructedObj, obj) abstract operation<br>
----------------------------------------------------------------------<br>
<br>
This operation performs the actual initialisation of the this-bindings that were previously deferred:<br>
<br>
   1. Assert `nonconstructedThisObj` is a Non-Constructed Object.<br>
   2. Assert `obj` is an ordinary object.<br>
   3. Replace all references to `nonconstructedThisObj` with references to `obj`.<br>
     (In particular, this step will effectively initialise the this-binding of every function environment record that used to reference `nonconstructedObj`.)<br></blockquote><div><br></div><div>I was vaguely thinking along similar lines last week, but was stumped at this point.  Is step #3 possible?  You'd basically have to (magically?) replace the "this" binding for any subclass constructors on the call stack.  This is probably a question for Allen.</div>
<div><br></div></div></div></div>