I think this is a relic of the old ancient days when there was no integer inference, you can change this to the literal `1` and it'll get inferred to be the right type.