const borderRight_setterinfo: JSJitInfo;