[analyzer] strict-inference target range too broad when return type can't be inferred

[parlough]

When the return type of a function can't be inferred, the diagnostic's (inference_failure_on_function_return_type) range is the entire function, making code hard to read in an IDE and potentially making the issue harder to identify. This is especially the case when there are local functions. It should likely just target the function name.