const border_left_color_setterinfo: JSJitInfo;