Специально для MutableSet.__isub__
я следил за импортом в types.pyi, который определяет метод следующим образом:
def __isub__(self, s: AbstractSet[Any]) -> MutableSet[_T]: ...
На самом деле это выглядит как часть typhed , которую Pycharm устанавливает по умолчанию, поэтому он, очевидно, не является неотъемлемой частью CPython.
Я полагаю, вы можете сделать то же самое для других ABC. Однако я не смог найти похожие подсказки для встроенных типов, таких как list.