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