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