<div dir="ltr"><div dir="ltr">Thanks Chris!<div><br></div><div>Does anyone else have feedback on the proposal?</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Jan 9, 2024 at 8:26 AM Chris Povirk <<a href="mailto:cpovirk@google.com" target="_blank">cpovirk@google.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Thanks, Liam.<div><br></div><div>We've found the current error messages to be a source of confusion: While the average user doesn't use type-use annotations, those users who do use them seem to hit this pretty frequently. We have our own FAQ entry about it in our internal documentation, and I also refer people to <a href="https://checkerframework.org/manual/#common-problems-non-typechecking" target="_blank">the Checker Framework's documentation</a>, which gives advice similar to that implemented by Liam's PR. I would expect for that page and <a href="https://stackoverflow.com/a/21385939/28465" target="_blank">this Stack Overflow answer</a> to get more traffic as type-use annotations grow in popularity, as we're aiming for them to do as part of our work on JSpecify nullness. The error-message changes could save users a trip to those docs.</div></div>
</blockquote></div>
</div>