const border_inline_width_setterinfo: JSJitInfo;