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