如果被字符串联合覆盖,则不存在的上下文不会被检测为类型错误