<div dir="ltr"><div dir="ltr">On Wed, Nov 9, 2022 at 10:38 AM Brian Goetz <<a href="mailto:brian.goetz@oracle.com" target="_blank">brian.goetz@oracle.com</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">

  
  <div>
    <br>
    <blockquote type="cite">
      <div dir="ltr">
        <div class="gmail_quote">Agreed... that formulation is simpler. But of course it
            would need a caveat for subclasses within the same
            compilation unit, e.g.:</div>
      </div>
    </blockquote>
    <br>
    All these classes are in the same compilation unit, though it's
    possible you may not want to get fancy enough with the analysis to
    simulate virtual dispatch (though you could, since its all in the
    same file.)  <br></div></blockquote><div><br></div><div>OK so it sounds like you're saying that it's not worth bothering trying to prevent someone from a 'this' escape that is contained within a single source file, because those cases are relatively easy ones to spot.</div><br><div>Rather, it's in the non-obvious cases, where the problem spans multiple compilation units, that programmers could really benefit from some extra help from the compiler.<br></div><div><div><br></div><div>This defines a clear & straightforward boundary for the warning.<br></div><div><br></div></div><div>-Archie<br></div></div></div>