const passRecordOfNullableInts_methodinfo: JSJitInfo;