Java 17 新特性

密封类型