InstanceOfPatternMatch leads to duplicate variable name in if statement with two different instanceof

[ghost]

What version of OpenRewrite are you using?

I am using

• OpenRewrite v5.5.2
• Maven/Gradle plugin v3.11.0
• rewrite-module v2.1.0

How are you running OpenRewrite?

I am using the Maven plugin, and my project is a single module project.

<plugin>
    <groupId>org.openrewrite.maven</groupId>
    <artifactId>rewrite-maven-plugin</artifactId>
    <version>5.5.2</version>
    <configuration>
        <activeRecipes>
            <recipe>org.openrewrite.java.migrate.UpgradeToJava20</recipe>
        </activeRecipes>
    </configuration>
    <dependencies>
        <dependency>
            <groupId>org.openrewrite.recipe</groupId>
            <artifactId>rewrite-migrate-java</artifactId>
            <version>2.1.0</version>
        </dependency>
    </dependencies>
</plugin>

What is the smallest, simplest way to reproduce the problem?

if (test instanceof TestClass && test2 instanceof TestClass) {
    ...
}

What did you expect to see?

if (test instanceof TestClass t && test2 instanceof TestClass t2) {
    ...
}

What did you see instead?

if (test instanceof TestClass t && test2 instanceof TestClass t) {
    ...
}

Are you interested in contributing a fix to OpenRewrite?

[timtebeek]

Thanks for reporting this issue! We have a variable name utility class that should be used here to generate a unique name given the context. Should be relatively straightforward if you'd want to explore that yourself.

[timtebeek]

Replicated and picked up in #175 by @KoTurk

[timtebeek]

Already much improved in

• Duplicate variable name in if statement with two different instanceof #175

Closing the issue as I expect any remaining cases to be rare in practice.