PyCharm にパラメータの型をどう伝えればよいですか? 質問する

コンストラクター、割り当て、メソッド呼び出しに関しては、PyCharm IDE はソース コードを解析し、各変数の型を判断するのに非常に優れています。適切なコード補完とパラメーター情報が提供され、存在しない属性にアクセスしようとすると警告が表示されるので、これが正しいと気に入っています。

しかし、パラメータに関しては何も知りません。コード補完ドロップダウンは、パラメータの型がわからないため、何も表示できません。コード分析では警告を探すことができません。

class Person:
    def __init__(self, name, age):
        self.name = name
        self.age = age

peasant = Person("Dennis", 37)
# PyCharm knows that the "peasant" variable is of type Person
peasant.dig_filth()   # shows warning -- Person doesn't have a dig_filth method

class King:
    def repress(self, peasant):
        # PyCharm has no idea what type the "peasant" parameter should be
        peasant.knock_over()   # no warning even though knock_over doesn't exist

King().repress(peasant)
# Even if I call the method once with a Person instance, PyCharm doesn't
# consider that to mean that the "peasant" parameter should always be a Person

class King:
    def repress(self, peasant):
        """
        Exploit the workers by hanging on to outdated imperialist dogma which
        perpetuates the economic and social differences in our society.

        @type peasant: Person
        @param peasant: Person to repress.
        """
        peasant.knock_over()   # Shows a warning. And there was much rejoicing.