Class definition bindings should not be visible in nested scopes

[grievejia]

Describe the Bug

Minimal repro:

x = 1

class A:
    x = 4
    [reveal_type(x) for a in range(1)]

    class B:
        reveal_type(x)

Expected: Both reveals produce Literal[2]
Actual: Both reveals produceLiteral[1]

Sandbox Link

https://pyrefly.org/sandbox/?code=B4AgvCCMBQ0MYBsCGBnFICCAuaI8lAgBZd8BtAJwFMA3KpBAfQBcBPAByoApgBKEAGYB7CiCQgAlgDsQFJFIDm3SLwC6sfCESp0AIRybN1OgxYdufaEA

(Only applicable for extension issues) IDE Information

No response