New Issue: Range.intIdxType - should it be public?

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 int

Should 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