Example: frozenset & AbstractSet is typed by typeshed to return a new frozenset when it fact it won't do this ->
frozenset.__and__(AbstractSet)
But ->
AbstractSet.__and__(frozenset)
Which in fact have zero guarantee of returning a new frozenset instance.
This is one example amongst many potential others.
I raised an issue on typeshed repo, need to monitor how they handle this first.
Example:
frozenset & AbstractSetis typed bytypeshedto return a newfrozensetwhen it fact it won't do this ->frozenset.__and__(AbstractSet)But ->
AbstractSet.__and__(frozenset)Which in fact have zero guarantee of returning a new
frozensetinstance.This is one example amongst many potential others.
I raised an issue on typeshed repo, need to monitor how they handle this first.