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>

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 + Copy> TraceImmutable for GcCell<T>

Since a cell has interior mutablity, it can implement TraceImmutable even if the interior type is only Trace

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

Loading content...