Trait gc_arena::arena::Rootable

source ·
pub trait Rootable<'a>: 'static {
    type Root: Collect + 'a;
}
Expand description

A trait that produces a Collect-able type for the given lifetime. This is used to produce the root Collect instance in an Arena.

In order to use an implementation of this trait in an Arena, it must implement Rootable<'a> for any possible 'a. This is necessary so that the Root types can be branded by the unique, invariant lifetimes that makes an Arena sound.

Required Associated Types§

source

type Root: Collect + 'a

Implementors§