fn inclusive_start<T: Idx>(range: impl RangeBounds<T>) -> u32