Экземпляр суперкласса параметра подсказки типа Python, но не экземпляр подкласса ⇐ Python

[Anonymous]

У меня есть следующий класс Python

Код: Выделить всё

class Foo:
@classmethod
def bar(cls, baz):
pass

class Egg(Foo):
pass

egg = Egg()
egg.bar(Foo())

Я хочу ввести подсказку для параметра baz, чтобы он принимал только экземпляр Foo, а не подкласс, например Egg.

Код: Выделить всё

from typing import Self

...
def bar(cls, baz: Self):
...

Но когда я использую mypy для проверки статического типа, он жалуется, что аргумент 1 для «bar» из «Foo» имеет несовместимый тип «Foo»; ожидается "Egg" [arg-type]
Я знаю, что Self предназначен для типа экземпляра, но я не знаю, почему он не принимается экземпляр его суперкласса. Я прочитал этот вопрос. Как мне ввести подсказку метода с типом включающего класса?, но он разрешает экземпляр подкласса, а не экземпляр суперкласса.
Я пытаюсь исправить это с помощью def bar(cls, baz: Foo):, но линтер жалуется на неопределенное имя 'Foo'. Есть идеи, как решить эту проблему? Заранее спасибо!
Изменить: есть ли лучший способ, чем использование строки класса, например, def bar(cls, baz: "Foo"):

Подробнее здесь: https://stackoverflow.com/questions/778 ... s-instance