Macro zerogc::impl_trace_for_nulltrace
source · [−]macro_rules! impl_trace_for_nulltrace {
(impl $(<$($lt:lifetime,)* $($param:ident),*>)? Trace for $target:path $(where $($where_clause:tt)*)?) => { ... };
}
Expand description
Implement Trace and TraceImmutable as a no-op, based on the fact that a type implements NullTrace
Safety
Because this verifies that Self: NullTrace
, it is known there
are no values inside that need to be traced (allowing a no-op trace)
In other words, the unsafety is delegated to NullTrace