| Regression test for art::PrepareForRegisterAllocation, which replaces | |
| ArraySet[array, index, BoundType[NullConstant]] | |
| with | |
| ArraySet[array, index, NullConstant] | |
| but used to forget to remove the "need for a type check" bit in the | |
| ArraySet, thus failing "!may_need_runtime_call_for_type_check" | |
| assertions in code generators. |