编译器插入了什么异常来处理开关表达式中的未知枚举值？

Question

JEP 361引入了Switch表达式，减少了Switch常见用法的冗长性。

作为此功能的一个特定细节，无需为枚举上的开关表达式编写默认类。编译以下代码：

public enum MyEnum {
    ONE,
    TWO;
}

public class OtherClass {
    public static String computeAttribute(MyEnum myEnum) {
        return switch (myEnum) {
            case ONE -> "one";
            case TWO -> "two";
        };
    }
}

switch表达式目前是详尽的，但如果单独重新编译枚举，则新版本的枚举可能包含switch语句未预料到的另一个条目（例如，三个条目）。

JEP和这篇文章都提到编译器插入了一个default子句，该子句抛出一个异常来指示这种不协调。

我找不到任何记录抛出的异常的确切类型的东西。编译器在开关表达式中插入的默认子句抛出的异常是什么？

Answer 1

这记录在JLS 15.28.2中：

如果没有匹配的开关标签，则抛出不兼容ClassChangeError，因此整个开关表达式会突然完成。

显然，添加新的枚举案例是“不兼容的类更改”。