Add "is invariant" warning to Set as well as List for situations where a Collection should be used

Feature

mypy has a lovely warning about List being invariant in situations like this:

ls: List[int] = [1, 2, 3]

def process(stuff: List[Union[int, str]]):
    ...

process(ls)  # type error here, w/ nice explanation of invariance and suggestion to use Sequence

However, it does not have the same warning when Set is used in the same way:

s: Set[int] = {1, 2, 3}

def process(stuff: Set[Union[int, str]]):
    ...

process(s)  # merely states that the type is incompatible, no mention of invariance

Would be nice if the same warning mechanism could trigger here, suggesting Collection.

Pitch

Hopefully this is a simple widening of a rule that's special-cased for lists to get sets too? Not sure if other types like Dict/Tuple might be included too; I haven't tested them. If it's a lot of effort probably not worth it.

Bắt đầu bằng cách xác định cảnh báo hiện có về tính bất biến của List và các kiểm thử của nó; issue không nêu tên các tệp hoặc điểm vào cụ thể. Mở rộng cùng hành vi cảnh báo đó cho Set và xác minh rằng chẩn đoán giải thích tính bất biến và đề xuất Collection, như trong ví dụ.