Какое главное преимущество даёт sealed-иерархия при использовании switch с pattern matching?

В обычной открытой иерархии компилятор не может знать всех наследников, поэтому требует default — и добавление нового подтипа тихо проваливается в эту ветку. Sealed фиксирует список через permits, и тогда switch по типу проверяется на исчерпываемость: забыли вариант — ошибка компиляции, то есть все места, требующие правки, найдены за вас. Это сознательный размен: жертвуем открытостью к расширению (принципом OCP) ради полноты проверки. Правило применимости простое: вариантов конечное число и меняются они редко — sealed уместен; иерархия открыта для сторонних реализаций — нет.

sealed interface Shape permits Circle, Square {}
record Circle(double r) implements Shape {}
record Square(double side) implements Shape {}

double area(Shape s) {
    return switch (s) {
        case Circle(var r) -> Math.PI * r * r;
        case Square(var a) -> a * a;
    };   // default не нужен
}