Java15 Record的sealed密封类

由于默认情况下Record是final的，并且可以继承接口。我们可以定义密封接口并让Record实现它们以更好地管理代码。Record的sealed密封类的示