Struct Ref 

pub struct Ref<'id, T: Flat> { /* private fields */ }

Typed position branded to a Session. Copy, no borrow.

Ref<'id, T> carries only a byte position (4 bytes) and a phantom brand — it borrows nothing, so multiple Refs can coexist with &mut Session without borrow conflicts.

Soundness

The 'id lifetime is invariant (via Brand’s fn(&'id ()) -> &'id () phantom). Combined with the for<'id> bound on Region::session, this gives two compile-time guarantees:

1. No escape: A Ref<'id, T> cannot be returned from the session closure because 'id is universally quantified and cannot unify with any external lifetime.
2. No cross-session use: A Ref from session A cannot be passed to session B because their 'id brands are distinct.

Both properties are verified by compile-fail tests.

Trait Implementations

impl<T: Flat> Clone for Ref<'_, T>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Flat> Emit<T> for Ref<'_, T>

fn emit(self, _p: &mut impl Patch) -> Pos

Reserve space for T, write this builder’s data, and return the position.

unsafe fn write_at(self, p: &mut impl Patch, at: Pos)

Write this builder’s data at position at.

impl<T: Flat> Hash for Ref<'_, T>

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T: Flat> PartialEq for Ref<'_, T>

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: Flat> Copy for Ref<'_, T>

impl<T: Flat> Eq for Ref<'_, T>