This is mostly a pattern that's used in IndexRegion and (i think) the iterator classes - often we need to get the value 1 in some generic integer type T, so we've been using T.zero + 1 to typecast. But you can also just do T.new(1), which is cleaner, more obvious, and safer overall.
This is mostly a pattern that's used in
IndexRegionand (i think) the iterator classes - often we need to get the value1in some generic integer typeT, so we've been usingT.zero + 1to typecast. But you can also just doT.new(1), which is cleaner, more obvious, and safer overall.