JDK21 record/sealed interface deconstruct pattern matching bug repro

JdkPatternMatchingBugRepoTest.java

package io.github.cboudereau;

import static org.junit.jupiter.api.Assertions.assertEquals;
import org.junit.jupiter.api.Test;

public class JdkPatternMatchingBugRepoTest {
    static record Tuple<L, R>(L fst, R snd) {
    }

    static sealed interface AlgebraicDataType permits A, B{}
    static record A () implements AlgebraicDataType{}
    static record B () implements AlgebraicDataType{}

    //This test is failling in jdk-21 but not in jdk-23
    @Test
    void A_should_not_match_B_with_interface() {
        final AlgebraicDataType a = new A();
        final var actual = switch (new Tuple<>(a, a)) {
            case Tuple<AlgebraicDataType, AlgebraicDataType>(B(), B()) -> -1;

            case Tuple<AlgebraicDataType, AlgebraicDataType>(A(), A()) -> 1;
            default -> 0;
        };

        assertEquals(1, actual);
    }
    
    // //This test compiles and fails in jdk-21 but not in jdk-23
    @Test
    void A_should_not_match_B_with_record() {
        final var actual = switch (new Tuple<>(new A(),new A())) {
            case Tuple<B, B>(B(), B()) -> -1;

            case Tuple<A, A>(A(), A()) -> 1;
            default -> 0;
        };

        assertEquals(1, actual);
    }

    @Test
    void A_should_match_A(){
        final var actual = switch(new A()) {
            case A() -> 1;
            default -> 0;
        };

        assertEquals(1, actual);
    }

    @Test
    void B_should_not_match_A(){
        final AlgebraicDataType algebraicDataType = new A();
        final var actual = switch(algebraicDataType) {
            case B() -> 0;
            default -> 1;
        };

        assertEquals(1, actual);
    }

}