Struct zerogc::AssumeNotTraced

#[repr(transparent)]pub struct AssumeNotTraced<T>(_);

A wrapper type that assumes its contents don't need to be traced

Implementations

impl<T> AssumeNotTraced<T>

pub unsafe fn new(value: T) -> Self

Assume the specified value doesn't need to be traced

Safety

Undefined behavior if the value contains anything that need to be traced by a garbage collector.

pub fn into_inner(self) -> T

Unwrap the inner value of this wrapper

Trait Implementations

impl<T: Clone> Clone for AssumeNotTraced<T>

pub fn clone(&self) -> AssumeNotTraced<T>

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Copy> Copy for AssumeNotTraced<T>

impl<T: Debug> Debug for AssumeNotTraced<T>

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T> Deref for AssumeNotTraced<T>

type Target = T

The resulting type after dereferencing.

pub fn deref(&self) -> &Self::Target

Dereferences the value.

impl<T> DerefMut for AssumeNotTraced<T>

pub fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl<'new_gc, Id, T> GcBrand<'new_gc, Id> for AssumeNotTraced<T> where
    Id: CollectorId,
    T: GcBrand<'new_gc, Id>,
    <T as GcBrand<'new_gc, Id>>::Branded: Trace, 

type Branded = AssumeNotTraced<<T as GcBrand<'new_gc, Id>>::Branded>

This type with all garbage collected lifetimes changed to 'new_gc

impl<T> GcSafe for AssumeNotTraced<T>

No tracing implies GcSafe

pub const NEEDS_DROP: bool

If this type needs a destructor run

impl<T> NullTrace for AssumeNotTraced<T>

impl<T> Trace for AssumeNotTraced<T>

pub const NEEDS_TRACE: bool

Whether this type needs to be traced by the garbage collector.

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

Visit each field in this type

impl<T> TraceImmutable for AssumeNotTraced<T>

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

Visit an immutable reference to this type