x: int = 0
y: Thing = something()
z: Any
a.x : complex
c.y : not_simple = None

def f():
    a: int = 0
    b: Thing = something()
    c: Any