const border_right_width_setterinfo: JSJitInfo;