"error: Name is not defined" and confusing behavior on instance-level classes

Running mypy on the following example:

from typing import Type

class Foo:
    def __init__(self):
        class Bar:
            pass

        self.Bar: Type[Bar] = Bar

foo = Foo()
bar: foo.Bar = foo.Bar()

reveal_type(foo.Bar)
reveal_type(bar)

results in the following slightly confusing and seemingly contradictory output:

example.py:11: error: Name 'foo.Bar' is not defined  # on bar: foo.Bar
example.py:13: note: Revealed type is 'Type[example.Bar@5]'  # on reveal_type(foo.Bar)
example.py:14: note: Revealed type is 'Any'  # on reveal_type(bar)

Ideally, I would have expected reveal_type(bar) to reveal example.Bar@5. I'm not sure if there is a way to correctly type this code without resorting to # type: ignore right now.

Tested on mypy 0.761, Python 3.8.1.

Tái hiện ví dụ trong example.py bằng mypy, tập trung vào chú thích bar: foo.Bar và các lời gọi reveal_type. Theo dõi cách mypy xử lý tham chiếu lớp ở cấp độ instance và xác định xem lỗi được báo cáo cùng kết quả Any có thể được thay thế bằng kiểu dự kiến example.Bar@5 hay không. Hoàn thành khi example.py được kiểm tra kiểu như dự định và reveal_type(bar) báo cáo kiểu lớp đó.