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.

Inizia individuando l’avviso esistente sull’invarianza di List e i relativi test; l’issue non indica file o punti di ingresso specifici. Estendi lo stesso comportamento dell’avviso a Set e verifica che la diagnostica spieghi l’invarianza e suggerisca Collection, come mostrato nell’esempio.