const borderRightColor_setterinfo: JSJitInfo;