Not enough type inference in __init__ with --check-untyped-defs #7309

class Foo: pass

class A:
    def __init__(self) 
        self.f1 = Foo()
       # Any
        reveal_type(self.f1)

        self.f2: Foo = Foo()
        # Foo
        reveal_type(self.f2)

class B:
    def __init__(self) -> None:
        self.f1 = Foo()
       # Foo
        reveal_type(self.f1)