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

[johnburnett]

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

[jhance]

Why do you expect a global variable to appear in the output for reveal locals?

[JelleZijlstra]

The fact that it shows global_var but not global_var_annotated seems like a bug though.

[jhance]

Oh I see, I thought the complaint was about the second revealed local types not including it.

[johnburnett]

@jhance - the example "global_*" vars are locals to the module. And yep, @JelleZijlstra - correct, the missing annotated var feels like a bug?