const border_right_style_setterinfo: JSJitInfo;