1 が Int と推論されて、それによって .max の型が Int と推論され、 Int.max になってる？

3:25 PM

.max じゃダメだけど .max - 1 だと OK なのが、おもしろいというかわかりにくいというか・・・