On required type annotation diagnostic error, point at method with the requirements if the span is available.