reveal_locals() doesn't show module globals that are annotated

Bug Report

reveal_locals() doesn't show module globals that are annotated with type information.

To Reproduce

from typing import List

global_var = [1, 2, 3]
global_var_annotated: List[int] = [1, 2, 3]
reveal_locals()

def foo():
    local_var = [1, 2, 3]
    local_var_annotated: List[int] = [1, 2, 3]
    reveal_locals()

Expected Behavior

A note on the global_var_annotated variable:

note:     global_var_annotated: builtins.list[builtins.int]

Actual Behavior

global_var_annotated is missing from the revealed types:

note: Revealed local types are:
note:     global_var: builtins.list[builtins.int*]
note: Revealed local types are:
note:     local_var: Any
note:     local_var_annotated: builtins.list[builtins.int]

Your Environment

• mypy 0.931
• Python 3.7.7

Bắt đầu bằng cách chạy bản tái hiện Python được cung cấp với mypy và kiểm tra cách xử lý reveal_locals() đối với các biến toàn cục có chú thích ở cấp mô-đun. So sánh đầu ra của nó với ghi chú mong đợi cho global_var_annotated; hoàn tất khi các biến toàn cục ở cấp mô-đun có chú thích được đưa vào mà không gây hồi quy đối với đầu ra hiện có của các biến cục bộ và biến toàn cục không có chú thích.