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
createAnnotationForStringConcatenation() has copy and paste and edit code; needs refactoring #4855
Comments
I have a local refactored version of it that I intend to commit. |
smonteiro
added a commit
to smonteiro/checker-framework
that referenced
this issue
Aug 2, 2021
smonteiro
added a commit
to smonteiro/checker-framework
that referenced
this issue
Aug 3, 2021
pull request submitted |
smonteiro
added a commit
to smonteiro/checker-framework
that referenced
this issue
Aug 4, 2021
smonteiro
added a commit
to smonteiro/checker-framework
that referenced
this issue
Aug 4, 2021
I'm re-opening this issue because it is not resolved until the pull request #4857 is merged. When that pull request is merged, this issue will be automatically closed. I did that via "Linked issues" on that pull request page. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Thanks for submitting an issue.
As explained in the instructions for submitting an issue at https://checkerframework.org/manual/#reporting-bugs, please include four pieces of information:
The text was updated successfully, but these errors were encountered: