标签: 类型收窄