const border_right_color_setterinfo: JSJitInfo;