17129, “vasslitvinov”, “Range.intIdxType - should it be public?”, “2021-02-09T07:44:26Z”
range.intIdxType is the range’s
idxType if it is integral, otherwise
intIdxType be in range’s public interface?
- no: because it was introduced as an internal helper to implement ranges over non-integers
- yes: because it is used in domains, which can also have non-integer idxTypes,
which may need to be handled by user-written domain maps