-
Notifications
You must be signed in to change notification settings - Fork 347
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Nullness Checker error message uses incorrect parameter name #6238
Comments
The Lines 347 to 348 in 0b8da55
There will still be cases where the parameter name is not in the element, but the parameter names for your test case will be there since they are from source.
We have an issue for this: #2276. It's not actually too hard to fix, we just haven't done it. |
Test case:
Error output from the Nullness Checker:
In a couple of places the error message refers to
p0
which is not the name of any variable in the program.I also find the error message somewhat hard to read with all the (irrelevant) initializer annotations, but perhaps that is a separate issue.
The text was updated successfully, but these errors were encountered: