mixed `[..](zero low, int low_bound_type, zero high, int high_bound_type)
Subrange callback.
It's assumed that this function is side-effect free.
`[..]