const border_left_setterinfo: JSJitInfo;