Switch with unnamed patterns erroneously non-exhaustive

sealed interface Animal permits Dog, Chicken {};
record Dog(String name, int age) implements Animal {};
record Chicken(String name, int age) implements Animal {};

void main() {
    Animal a1 = new Dog("Yodel", 4);
    Animal a2 = new Chicken("Purple Head", 5);

    switch (a1) {
        case Dog(var name, _) -> System.out.println("Dog: " + name);
        case Chicken(var name, _) -> System.out.println("Chicken: " + name);
        // default -> System.out.println("Unknown animal");
    }
}