Tagged: 类型断言