// No compila: el primer caso ya captura todos los Shape; el segundo nunca se alcanzaría.
public class Dominated {
    static String name(Shape s) {
        return switch (s) {
            case Shape any -> "una figura";
            case Circle c -> "un círculo";
        };
    }
}