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<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl TraceImmutable for i16

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl TraceImmutable for i32

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl TraceImmutable for i64

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl TraceImmutable for isize

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl TraceImmutable for u8

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl TraceImmutable for u16

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl TraceImmutable for u32

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl TraceImmutable for u64

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl TraceImmutable for usize

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl TraceImmutable for f32

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl TraceImmutable for f64

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl TraceImmutable for bool

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl TraceImmutable for char

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl TraceImmutable for &'static str

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl<T> TraceImmutable for PhantomData<T>

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl TraceImmutable for ()

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl<H, I> TraceImmutable for (H, I) where
    H: TraceImmutable,
    I: TraceImmutable, 

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl<G, H, I> TraceImmutable for (G, H, I) where
    G: TraceImmutable,
    H: TraceImmutable,
    I: TraceImmutable, 

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl<F, G, H, I> TraceImmutable for (F, G, H, I) where
    F: TraceImmutable,
    G: TraceImmutable,
    H: TraceImmutable,
    I: TraceImmutable, 

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl<E, F, G, H, I> TraceImmutable for (E, F, G, H, I) where
    E: TraceImmutable,
    F: TraceImmutable,
    G: TraceImmutable,
    H: TraceImmutable,
    I: TraceImmutable, 

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::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<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl<T> TraceImmutable for [T] where
    T: TraceImmutable, 

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

impl TraceImmutable for String

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

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

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::Err>

Loading content...

Implementors

impl TraceImmutable for DummyCollectorId

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

impl<T> TraceImmutable for AssumeNotTraced<T>

fn visit_immutable<Visitor: GcVisitor + ?Sized>(
    &self,
    visitor: &mut Visitor
) -> Result<(), Visitor::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...