21.6 将异常规范作为类型的一部分