width can only overflow size_type if sizeof(streamsize) > sizeof(size_type) because here we know that __width is positive and the stattic assertion check that size_type is unsigned.