Add test for correct type width calculation.