> and, obviously, the inferred type (int -> int) is correct. No it’s not. It’s Optional[int] -> int at minimum. There are other completely valid signatures bey

> and, obviously, the inferred type (int -> int) is correct. No it’s not. It’s Optional[int] -> int at minimum. There are other completely valid signatures beyond that too.