const border_inline_end_setterinfo: JSJitInfo;