the data type constraint extending DType
the actual value type
the index of the dimension being configured (for error reporting)