[timjver]

You're not wrong, but the author's code does in no way rely on the fact that you could theoretically iterate over all the valid Int values in Swift, so it would have made no difference if the Int type was somehow truly infinite.

And the author clearly acknowledges this:

>it’s best to think of Int as modeling the infinite set of all integers