const right_setterinfo: JSJitInfo;