Avoid copying LiveInterval, this could lead to a double-delete