<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">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">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>