E. g. specify that the largest possible array of u8-sized elements has a length that fits into an int, additionally require that i8 <= int, so that abnormal overflow conditions don't need to be checked, such as in #16701.