<div dir="ltr"><div dir="ltr">On Tue, Nov 1, 2022 at 5:58 PM Brian Goetz <<a href="mailto:brian.goetz@oracle.com">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">Right, more of the same trick.  The key is not crossing source
    files, since that is over the analysis horizon.  <br></blockquote><div><br></div>OK so let's assume we can come up with a reasonable definition for "this escape" that is rich enough to be practically useful but not too complex to calculate in the compiler.<br></div><div class="gmail_quote"><br></div><div class="gmail_quote">What next?</div><div class="gmail_quote"><br></div><div class="gmail_quote">This new "this escape" warning would really just be a new compiler feature rather than a language change, right? It's not changing the language, it's just expanding the set of possible warnings that can be generated. Obviously it would be very helpful in getting people to think more about "constructor hygiene".<br></div><div class="gmail_quote"><br></div><div class="gmail_quote">So then would its inclusion in a JEP be more about precisely defining the concept and describing the goodness that comes from it?<br></div><div class="gmail_quote"><br></div><div class="gmail_quote">Thanks,<br></div><div class="gmail_quote">-Archie</div><div class="gmail_quote"><br></div>-- <br><div dir="ltr" class="gmail_signature">Archie L. Cobbs<br></div></div>