If a numeric value is put into a type that can't hold it, throw an error. For example, this will not be allowed:

array A = [3] U32 default -1

because the type U32 cannot represent the integer value -1.