Trait zerogc::GcHandleSystem

pub unsafe trait GcHandleSystem<'gc, T: GcSafe + ?Sized + 'gc>: GcSystem where
    T: GcBrand<'static, Self::Id>,
    <T as GcBrand<'static, Self::Id>>::Branded: GcSafe, {
    type Handle: GcHandle<<T as GcBrand<'static, Self::Id>>::Branded, System = Self>;
}

A system which supports creating handles to Gc references.

This type-system hackery is needed because we need to place bounds on T as GcBrand

Associated Types

type Handle: GcHandle<<T as GcBrand<'static, Self::Id>>::Branded, System = Self>

The type of handles to this object.

Loading content...

Implementors

Loading content...