1Checker test for optimizing that checks whether our
2optimizations to remove type checks on array set operations work.
3