Почему сопоставление с образцом при включении InetAddress завершается с ошибкой: «не охватывает все возможные входные зн ⇐ JAVA

[Anonymous]

В Java 21 и 23 объявлен java.net.InetAddress

Код: Выделить всё

public sealed class InetAddress implements Serializable permits Inet4Address, Inet6Address {

Однако следующий код:

Код: Выделить всё

switch (addr) {
case Inet4Address a -> ...;
case Inet6Address a -> ...;
};

не компилируется с:

Код: Выделить всё

the switch expression does not cover all possible input values

Я что-то упустил или это ошибка Java?

Подробнее здесь: https://stackoverflow.com/questions/793 ... ot-cover-a