6.4.1 交叉类型字面量