const border_left_getterinfo: JSJitInfo;