[pmd-commits] [pmd/pmd] 0f3dcf: [java] Add tests related to #6146 - unknown constr...

[Andreas D. <no...@gi...>]

  Branch: refs/heads/main
  Home:   https://github.com/pmd/pmd
  Commit: 0f3dcf22b8ebf1a2a707238c9b9a845809a76379
      https://github.com/pmd/pmd/commit/0f3dcf22b8ebf1a2a707238c9b9a845809a76379
  Author: Clément Fournier <cle...@tu...>
  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 <cle...@tu...>
  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 <cle...@tu...>
  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 <cle...@tu...>
  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 <cle...@tu...>
  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 <cle...@tu...>
  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 <cle...@tu...>
  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 <and...@pm...>
  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 <and...@pm...>
  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