Class scope name resolution issue

Example courtesy of @gvanrossum , based on https://twitter.com/gvanrossum/status/1354305179244392453

While Python's behaviour is surprising, mypy should match it.

from typing import *

x: Optional[int] = None
y: Optional[int] = None

def f() -> None:
    x = 1
    y = 1
    class C:
        reveal_type(x)  # Incorrectly reveals int, should be Optional[int]
        reveal_type(y)  # Correctly reveals int
        x = 2

I also found https://bugs.python.org/issue24129 interesting. Thanks, ilevkivskyi!

Führe zunächst das Python-Beispiel des Issues mit mypy aus und vergleiche die beiden reveal_type-Ergebnisse. Verfolge die Logik der Namensauflösung im Klassenbereich, die x und y behandelt; abgeschlossen ist die Aufgabe, wenn x als Optional[int] aufgelöst wird, während y int bleibt, entsprechend dem Verhalten von Python.