const borderRightStyle_setterinfo: JSJitInfo;