def foo(x: int, y: int) -> int: ...