f() g() { x:int, y:int = f() } //@PRACOWNIA //@should_not_typecheck