const passOptionalRecordOfNullableInts_methodinfo: JSJitInfo;