
<html><head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

  </head>

  <body>

    <br>

    <br>

    <blockquote type="cite" cite="mid:CANSoFxuN1HnY7A9H-OyMnHtWsGtUCpjOffmBO3SEfWMPozvz1g@mail.gmail.com">

      <div dir="ltr">

        <div class="gmail_quote">

          <div>This made me realize there is another missing

            requirement:</div>

          <div>

            <ul>

              <li>Upon normal return from a constructor, the `this`

                reference must be DA <br>

              </li>

            </ul>

          </div>

        </div>

      </div>

    </blockquote>

    <br>

    So, I think this is true by definition; on normal return from a

    super/this/implicit super call, then `this` *is* DA.  <br>

    <br>

    You can simplify the rule about try blocks to:<br>

    <br>

     - if `this` is DU on entry to a try block, it must be DU on normal

    completion of the try block.  <br>

    <br>

    Can you simplify further, while still preventing `this` calls inside

    a try block?  I don't think so, since we might want to allow a try

    block before the super/this call.<br>

    <br>

    <br>

  </body>

</html>