Compilers are expected to check “TKR” at call boundaries: Type Kind and Rank. Not size of arrays.
With a length-parameter PDT, the size becomes a type parameter and is subject to checking.
2 Likes
Compilers are expected to check “TKR” at call boundaries: Type Kind and Rank. Not size of arrays.
With a length-parameter PDT, the size becomes a type parameter and is subject to checking.