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
[java] Bad intersection, unrelated class types java.lang.Object[] and java.lang.Number #4980
Labels
Milestone
Comments
boris-petrov
changed the title
[java] Bad intersection, unr elated class types java.lang.Object[] and java.lang.Number
[java] Bad intersection, unrelated class types java.lang.Object[] and java.lang.Number
Apr 26, 2024
jsotuyod
added a commit
to Monits/pmd
that referenced
this issue
Apr 27, 2024
jsotuyod
added a commit
to Monits/pmd
that referenced
this issue
Apr 27, 2024
4 tasks
@boris-petrov thanks for pointing this one out. It's effectively a bug, I'm able to reproduce it and have a basic fix in place. Still some work to do, but should be ok for 7.2.0 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
Affects PMD Version:
7.1.0.
Description:
This code:
Leads to:
Exception Stacktrace:
Code Sample demonstrating the issue:
See above.
Steps to reproduce:
Run PMD on that code.
Running PMD through: [CLI | Ant | Maven | Gradle | Designer | Other]
Gradle.
The text was updated successfully, but these errors were encountered: