Warum schlägt der Mustervergleich bei eingeschalteter InetAddress fehl mit der Fehlermeldung „deckt nicht alle möglichen ⇐ Java

[Anonymous]

In Java 21 und 23 wird java.net.InetAddress deklariert
public sealed class InetAddress implements Serializable permits Inet4Address, Inet6Address {

Allerdings der folgende Code:
switch (addr) {
case Inet4Address a -> ...;
case Inet6Address a -> ...;
};

kompiliert nicht mit:
the switch expression does not cover all possible input values

Übersehe ich etwas oder ist das ein Java-Fehler?