■PyCharmでローカル変数への型ヒントの書き方 [Python]

おおきく3通りの書き方で4つのバリエーション。
１．

a = foo()
""":type : int"""
a.

２．１．

b = foo()
if isinstance(b, int):
    b.

２．２．(ただしPEP-8で非推奨の記法)

c = foo()
if isinstance(c, int): pass
c.

３．

d = foo()
assert isinstance(d, int)
d.

いずれも、. を打ったところでintに対するサジェストがなされるはず。

ローカル変数じゃなくて、フィールドに対して有効なのは、一番上の方法だけらしい。

a.foo = foo()
""":type : int"""
a.foo.

via

Type Hinting in PyCharm