Branch: refs/heads/main
Home: https://github.com/pmd/pmd
Commit: 0f3dcf22b8ebf1a2a707238c9b9a845809a76379
https://github.com/pmd/pmd/commit/0f3dcf22b8ebf1a2a707238c9b9a845809a76379
Author: Clément Fournier <[email protected]>
Date: 2025-10-28 (Tue, 28 Oct 2025)
Changed paths:
M pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/TypeOps.java
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/IncorporationAction.java
M
pmd-java/src/test/kotlin/net/sourceforge/pmd/lang/java/types/TypeTestMockingUtil.kt
M
pmd-java/src/test/kotlin/net/sourceforge/pmd/lang/java/types/internal/infer/UnresolvedTypesRecoveryTest.kt
M
pmd-java/src/test/resources/net/sourceforge/pmd/lang/java/rule/errorprone/xml/InvalidLogMessageFormat.xml
Log Message:
-----------
[java] Add tests related to #6146 - unknown constraint is compatible with
other constraints
To fix #6146 we still need to fix the underlying issue,
which is that a resolution failure (ie, the `filter(...)`)
call here fails resolving after having tried out the overload,
and that doesn't clean up the whole tree from inference variables.
As a last step we can check that the cast is feasible in TypeTestUtil,
although it will brush future issues under the rug.
Commit: 5afe9a47b64dac294e03f58e06458ba244edace2
https://github.com/pmd/pmd/commit/5afe9a47b64dac294e03f58e06458ba244edace2
Author: Clément Fournier <[email protected]>
Date: 2025-10-28 (Tue, 28 Oct 2025)
Changed paths:
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/ast/internal/LazyTypeResolver.java
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/ExprMirror.java
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/Infer.java
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/InferenceContext.java
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/ast/BaseFunctionalMirror.java
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/ast/BaseInvocMirror.java
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/ast/BasePolyMirror.java
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/ast/LambdaMirrorImpl.java
M
pmd-java/src/test/kotlin/net/sourceforge/pmd/lang/java/types/internal/infer/UnresolvedTypesRecoveryTest.kt
Log Message:
-----------
Properly ground the tree when invocation fails
This does not need to be done when testing
for applicability as this really only affects
lambdas, and they are not relevant to
applicability
Commit: cdfbd011f94f40af916452d8cb4b9a9617ca50a4
https://github.com/pmd/pmd/commit/cdfbd011f94f40af916452d8cb4b9a9617ca50a4
Author: Clément Fournier <[email protected]>
Date: 2025-10-28 (Tue, 28 Oct 2025)
Changed paths:
M
pmd-java/src/test/kotlin/net/sourceforge/pmd/lang/java/types/internal/infer/UnresolvedTypesRecoveryTest.kt
Log Message:
-----------
Trim trailing whitespace
Commit: 399b41c25514fcb5929bfedad1efe2a5cc4eaadb
https://github.com/pmd/pmd/commit/399b41c25514fcb5929bfedad1efe2a5cc4eaadb
Author: Clément Fournier <[email protected]>
Date: 2025-10-28 (Tue, 28 Oct 2025)
Changed paths:
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/ReductionStep.java
M
pmd-java/src/test/java/net/sourceforge/pmd/lang/java/types/internal/infer/InferenceCtxUnitTests.java
Log Message:
-----------
Add unit tests, make sure resolution does not depend on order of constraints
Commit: 5631f97149e32d3ab6bb3475a7ddb02b6443363e
https://github.com/pmd/pmd/commit/5631f97149e32d3ab6bb3475a7ddb02b6443363e
Author: Clément Fournier <[email protected]>
Date: 2025-10-28 (Tue, 28 Oct 2025)
Changed paths:
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/TypeTestUtil.java
Log Message:
-----------
Make TypeTestUtil more defensive
Will not throw if an inference variable is found
Commit: de897ac6d9c7a35080683a9f9c11f449ddbbf313
https://github.com/pmd/pmd/commit/de897ac6d9c7a35080683a9f9c11f449ddbbf313
Author: Clément Fournier <[email protected]>
Date: 2025-10-28 (Tue, 28 Oct 2025)
Changed paths:
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/ReductionStep.java
Log Message:
-----------
Cleanup
Commit: 12efbbe78b8346231be3e79a0314b8bea3b458e4
https://github.com/pmd/pmd/commit/12efbbe78b8346231be3e79a0314b8bea3b458e4
Author: Clément Fournier <[email protected]>
Date: 2025-10-28 (Tue, 28 Oct 2025)
Changed paths:
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/ast/LambdaMirrorImpl.java
Log Message:
-----------
Fix PMD warning
Commit: 76126d5b1f132821629f1fb550da582a5538b4b6
https://github.com/pmd/pmd/commit/76126d5b1f132821629f1fb550da582a5538b4b6
Author: Andreas Dangel <[email protected]>
Date: 2025-10-28 (Tue, 28 Oct 2025)
Changed paths:
M docs/pages/release_notes.md
Log Message:
-----------
[doc] Update release notes (#6156, #6146)
Commit: 7ea02e84404c6c762ca30ff65c8d26f6310d58c4
https://github.com/pmd/pmd/commit/7ea02e84404c6c762ca30ff65c8d26f6310d58c4
Author: Andreas Dangel <[email protected]>
Date: 2025-10-28 (Tue, 28 Oct 2025)
Changed paths:
M docs/pages/release_notes.md
M pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/TypeOps.java
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/TypeTestUtil.java
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/ast/internal/LazyTypeResolver.java
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/ExprMirror.java
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/IncorporationAction.java
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/Infer.java
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/InferenceContext.java
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/ReductionStep.java
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/ast/BaseFunctionalMirror.java
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/ast/BaseInvocMirror.java
M
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/types/internal/infer/ast/BasePolyMirror.java
M
pmd-java/src/test/java/net/sourceforge/pmd/lang/java/types/internal/infer/InferenceCtxUnitTests.java
M
pmd-java/src/test/kotlin/net/sourceforge/pmd/lang/java/types/TypeTestMockingUtil.kt
M
pmd-java/src/test/kotlin/net/sourceforge/pmd/lang/java/types/internal/infer/UnresolvedTypesRecoveryTest.kt
M
pmd-java/src/test/resources/net/sourceforge/pmd/lang/java/rule/errorprone/xml/InvalidLogMessageFormat.xml
Log Message:
-----------
[java] Fix #6146: ClassCastException in TypeTestUtil (#6156)
Compare: https://github.com/pmd/pmd/compare/7db4aa2d9274...7ea02e84404c
To unsubscribe from these emails, change your notification settings at
https://github.com/pmd/pmd/settings/notifications
_______________________________________________
Pmd-commits mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/pmd-commits
