Trait TraceImmutable

Source

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

Expand description

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§

Source

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.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

TraceImmutable

Trait TraceImmutable Copy item path

Required Methods§

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

Dyn Compatibility§

Implementations on Foreign Types§

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 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 ()

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 String

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<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<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<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 Option<T>

fn visit_immutable<V: GcVisitor>( &self, visitor: &mut V, ) -> Result<(), <V as GcVisitor>::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>

Trait TraceImmutable

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

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

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

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

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

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,

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,

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,

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,

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

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

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

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