javademos/jep-tour/src/broken/Dominated.java

/**
 * A primitive pattern placed after the reference pattern that already matches every Integer.
 * The compiler rejects it on both 26 and 27. Driven by scripts/broken-on-27.sh.
 */
public class Dominated {
    static String describe(Object o) {
        return switch (o) {
            case Integer boxed -> "an Integer";
            case int primitive -> "an int";        // dominated: every Integer is already caught above
            default -> "something else";
        };
    }
}