Struct SegmentLease 

pub struct SegmentLease<'a> { /* private fields */ }

RAII lease on one registered entry in a SegmentBorrowRegistry.

On drop, the lease removes the registered entry via swap-remove. It is returned wrapped inside SegRef / SegRefMut; callers should not construct a SegmentLease directly.

Safety invariants

The raw pointer is valid for 'a because the lease was created from a &'a mut SegmentBorrowRegistry. No other code writes to the registry while a lease exists from the caller’s perspective, because the enclosing SegRef<T> / SegRefMut<T> owns the lease. Drop runs exactly once.

Implementations

impl<'a> SegmentLease<'a>

pub fn borrow(&self) -> &SegmentBorrow

The borrow entry this lease owns, for diagnostics.

Trait Implementations

impl<'a> Debug for SegmentLease<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a> Drop for SegmentLease<'a>

fn drop(&mut self)

Executes the destructor for this type.