Trait zerogc::TraceImmutable

pub unsafe trait TraceImmutable: Trace {
    fn trace_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 trace_immutable<V: GcVisitor>(&self, visitor: &mut V) -> Result<(), V::Err>

Trace an immutable reference to this type

The visitor may want to relocate garbage collected pointers, so any Gc pointers must be behind interior mutability.

Implementations on Foreign Types

impl TraceImmutable for i8

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

impl TraceImmutable for i16

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

impl TraceImmutable for i32

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

impl TraceImmutable for i64

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

impl TraceImmutable for isize

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

impl TraceImmutable for u8

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

impl TraceImmutable for u16

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

impl TraceImmutable for u32

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

impl TraceImmutable for u64

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

impl TraceImmutable for usize

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

impl TraceImmutable for f32

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

impl TraceImmutable for f64

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

impl TraceImmutable for bool

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

impl TraceImmutable for char

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

impl TraceImmutable for &'static str

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

impl<T> TraceImmutable for PhantomData<T>

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

impl TraceImmutable for ()

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

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

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

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

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

impl<T, const SIZE: usize> TraceImmutable for [T; SIZE] where
    T: TraceImmutable, 

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

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

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

impl<T: NullTrace> TraceImmutable for Cell<T> where
    T: TraceImmutable, 

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

impl<T: ImplicitWriteBarrier> TraceImmutable for RefCell<T> where
    T: TraceImmutable + ImplicitWriteBarrier, 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl TraceImmutable for String

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

impl<K: TraceImmutable, V, S: 'static> TraceImmutable for HashMap<K, V, S> where
    K: TraceImmutable,
    V: TraceImmutable,
    S: 'static, 

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

impl<T: TraceImmutable, S: 'static> TraceImmutable for HashSet<T, S> where
    T: TraceImmutable,
    S: 'static, 

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

Implementors

impl TraceImmutable for EpsilonCollectorId where
    Self: 'static, 

impl<'gc, T: GcSafe<'gc, Id>, Id: CollectorId> TraceImmutable for Unsupported<'gc, T, Id> where
    T: TraceImmutable,
    Id: TraceImmutable, 

impl<'gc, T: GcSafe<'gc, Id>, Id: CollectorId> TraceImmutable for GcVec<'gc, T, Id> where
    T: Trace, 

impl<T> TraceImmutable for AssumeNotTraced<T>

impl<T: Trace + Copy> TraceImmutable for GcCell<T> where
    T: NullTrace + Copy,