const border_left_color_getterinfo: JSJitInfo;