Trait zerogc::TraceImmutable

pub unsafe trait TraceImmutable: Trace {
    fn visit_immutable<V: GcVisitor>(
        &self, 
        visitor: &mut V
    ) -> Result<(), V::Err>;
}

A type that can be safely traced/relocated without having to use a mutable reference

Types with interior mutability (like RefCell or Cell<Gc<T>>) can safely implement this, since they allow safely relocating the pointer without a mutable reference. Likewise primitives (with new garbage collected data) can also implement this (since they have nothing to trace).

Required methods

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

Visit an immutable reference to this type

The visitor may want to relocate garbage collected pointers, which this type must support.

Loading content...

Implementations on Foreign Types

impl TraceImmutable for i8

fn visit_immutable<V: GcVisitor>(&self, _visitor: &mut V) -> Result<(), V::Err>

impl TraceImmutable for i16

fn visit_immutable<V: GcVisitor>(&self, _visitor: &mut V) -> Result<(), V::Err>

impl TraceImmutable for i32

fn visit_immutable<V: GcVisitor>(&self, _visitor: &mut V) -> Result<(), V::Err>

impl TraceImmutable for i64

fn visit_immutable<V: GcVisitor>(&self, _visitor: &mut V) -> Result<(), V::Err>

impl TraceImmutable for isize

fn visit_immutable<V: GcVisitor>(&self, _visitor: &mut V) -> Result<(), V::Err>

impl TraceImmutable for u8

fn visit_immutable<V: GcVisitor>(&self, _visitor: &mut V) -> Result<(), V::Err>

impl TraceImmutable for u16

fn visit_immutable<V: GcVisitor>(&self, _visitor: &mut V) -> Result<(), V::Err>

impl TraceImmutable for u32

fn visit_immutable<V: GcVisitor>(&self, _visitor: &mut V) -> Result<(), V::Err>

impl TraceImmutable for u64

fn visit_immutable<V: GcVisitor>(&self, _visitor: &mut V) -> Result<(), V::Err>

impl TraceImmutable for usize

fn visit_immutable<V: GcVisitor>(&self, _visitor: &mut V) -> Result<(), V::Err>

impl TraceImmutable for f32

fn visit_immutable<V: GcVisitor>(&self, _visitor: &mut V) -> Result<(), V::Err>

impl TraceImmutable for f64

fn visit_immutable<V: GcVisitor>(&self, _visitor: &mut V) -> Result<(), V::Err>

impl TraceImmutable for ()

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<A> TraceImmutable for (A,) where
    A: TraceImmutable, 

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<A, B> TraceImmutable for (A, B) where
    A: TraceImmutable,
    B: TraceImmutable, 

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<A, B, C> TraceImmutable for (A, B, C) where
    A: TraceImmutable,
    B: TraceImmutable,
    C: TraceImmutable, 

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<A, B, C, D> TraceImmutable for (A, B, C, D) where
    A: TraceImmutable,
    B: TraceImmutable,
    C: TraceImmutable,
    D: TraceImmutable, 

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<A, B, C, D, E> TraceImmutable for (A, B, C, D, E) where
    A: TraceImmutable,
    B: TraceImmutable,
    C: TraceImmutable,
    D: TraceImmutable,
    E: TraceImmutable, 

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<A, B, C, D, E, F> TraceImmutable for (A, B, C, D, E, F) where
    A: TraceImmutable,
    B: TraceImmutable,
    C: TraceImmutable,
    D: TraceImmutable,
    E: TraceImmutable,
    F: TraceImmutable, 

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<A, B, C, D, E, F, G> TraceImmutable for (A, B, C, D, E, F, G) where
    A: TraceImmutable,
    B: TraceImmutable,
    C: TraceImmutable,
    D: TraceImmutable,
    E: TraceImmutable,
    F: TraceImmutable,
    G: TraceImmutable, 

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<A, B, C, D, E, F, G, H> TraceImmutable for (A, B, C, D, E, F, G, H) where
    A: TraceImmutable,
    B: TraceImmutable,
    C: TraceImmutable,
    D: TraceImmutable,
    E: TraceImmutable,
    F: TraceImmutable,
    G: TraceImmutable,
    H: TraceImmutable, 

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<A, B, C, D, E, F, G, H, I> TraceImmutable for (A, B, C, D, E, F, G, H, I) where
    A: TraceImmutable,
    B: TraceImmutable,
    C: TraceImmutable,
    D: TraceImmutable,
    E: TraceImmutable,
    F: TraceImmutable,
    G: TraceImmutable,
    H: TraceImmutable,
    I: TraceImmutable, 

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 0]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 1]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 2]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 3]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 4]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 5]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 6]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 7]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 8]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 9]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 10]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 11]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 12]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 13]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 14]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 15]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 16]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 17]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 18]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 19]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 20]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 24]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 32]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 48]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 64]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 100]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 128]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 256]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 512]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 1024]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 2048]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T; 4096]

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<'a, T: TraceImmutable> TraceImmutable for &'a T

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<'a, T: TraceImmutable> TraceImmutable for &'a mut T

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for [T]

fn visit_immutable<V: GcVisitor>(
    &self,
    visitor: &mut V
) -> Result<(), <V as GcVisitor>::Err>

impl<T: TraceImmutable> TraceImmutable for Vec<T>

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for Box<T>

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T> TraceImmutable for Rc<T> where
    T: TraceImmutable, 

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T> TraceImmutable for Arc<T> where
    T: TraceImmutable, 

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<T: TraceImmutable> TraceImmutable for Wrapping<T>

fn visit_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

impl<K, V> TraceImmutable for HashMap<K, V> where
    K: TraceImmutable,
    V: TraceImmutable, 

fn visit_immutable<Visit: GcVisitor>(
    &self,
    visitor: &mut Visit
) -> Result<(), Visit::Err>

impl<V> TraceImmutable for HashSet<V> where
    V: TraceImmutable, 

fn visit_immutable<Visit: GcVisitor>(
    &self,
    visitor: &mut Visit
) -> Result<(), Visit::Err>

impl<T: TraceImmutable> TraceImmutable for Option<T>

fn visit_immutable<V: GcVisitor>(
    &self,
    visitor: &mut V
) -> Result<(), <V as GcVisitor>::Err>

Loading content...

Implementors

impl<T> TraceImmutable for AssumeNotTraced<T>

fn visit_immutable<V: GcVisitor>(&self, _visitor: &mut V) -> Result<(), V::Err>

impl<T: GcSafe + NullTrace + Copy> TraceImmutable for GcCell<T>

See Trace documentation on the safety of mutation

We require NullTrace in order to set our internals

fn visit_immutable<V: GcVisitor>(
    &self,
    visitor: &mut V
) -> Result<(), <V as GcVisitor>::Err>

Loading content...