const borderRight_getterinfo: JSJitInfo;