Pyright correctly deduces the type as int.
In any case it's a bad example as function signatures should always be typed.