1Regression test for art::PrepareForRegisterAllocation, which replaces 2 3 ArraySet[array, index, BoundType[NullConstant]] 4 5with 6 7 ArraySet[array, index, NullConstant] 8 9but used to forget to remove the "need for a type check" bit in the 10ArraySet, thus failing "!may_need_runtime_call_for_type_check" 11assertions in code generators. 12