const passOptionalRecord_methodinfo: JSJitInfo;