集合字面推断可以缩小到产生诊断信息的元素

当对联合类型上下文推断通用调用时,我们会缩小到推断类型可赋值的第一个联合元素。然而,在产生诊断的推断尝试中,由于`Unknown`的回退类型,可能会被视为可赋值,尽管另一个联合元素更符合要求。