1Regression test for optimizing that used assume that array types are always exact.
2