Trait zerogc::GcRebrand

pub unsafe trait GcRebrand<'new_gc, Id: CollectorId>: Trace {
    type Branded: ?Sized + 'new_gc;
}

Changes all references to garbage collected objects to match a specific lifetime.

This indicates that its safe to transmute to the new Branded type and all that will change is the lifetimes.

Associated Types

type Branded: ?Sized + 'new_gc

This type with all garbage collected lifetimes changed to 'new_gc

This must have the same in-memory repr as Self, so that it’s safe to transmute.

Implementations on Foreign Types

impl<'new_gc, Id: CollectorId> GcRebrand<'new_gc, Id> for i8

type Branded = i8

impl<'new_gc, Id: CollectorId> GcRebrand<'new_gc, Id> for i16

type Branded = i16

impl<'new_gc, Id: CollectorId> GcRebrand<'new_gc, Id> for i32

type Branded = i32

impl<'new_gc, Id: CollectorId> GcRebrand<'new_gc, Id> for i64

type Branded = i64

impl<'new_gc, Id: CollectorId> GcRebrand<'new_gc, Id> for isize

type Branded = isize

impl<'new_gc, Id: CollectorId> GcRebrand<'new_gc, Id> for u8

type Branded = u8

impl<'new_gc, Id: CollectorId> GcRebrand<'new_gc, Id> for u16

type Branded = u16

impl<'new_gc, Id: CollectorId> GcRebrand<'new_gc, Id> for u32

type Branded = u32

impl<'new_gc, Id: CollectorId> GcRebrand<'new_gc, Id> for u64

type Branded = u64

impl<'new_gc, Id: CollectorId> GcRebrand<'new_gc, Id> for usize

type Branded = usize

impl<'new_gc, Id: CollectorId> GcRebrand<'new_gc, Id> for f32

type Branded = f32

impl<'new_gc, Id: CollectorId> GcRebrand<'new_gc, Id> for f64

type Branded = f64

impl<'new_gc, Id: CollectorId> GcRebrand<'new_gc, Id> for bool

type Branded = bool

impl<'new_gc, Id: CollectorId> GcRebrand<'new_gc, Id> for char

type Branded = char

impl<'new_gc, Id: CollectorId> GcRebrand<'new_gc, Id> for &'static str

type Branded = &'static str

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for PhantomData<T> where
    T: 'new_gc, 

type Branded = Self

impl<'new_gc, Id: CollectorId> GcRebrand<'new_gc, Id> for ()

type Branded = ()

impl<'new_gc, I, Id: CollectorId> GcRebrand<'new_gc, Id> for (I,) where
    I: GcRebrand<'new_gc, Id>,
    I::Branded: Sized, 

type Branded = (<I as GcRebrand<'new_gc, Id>>::Branded,)

impl<'new_gc, H, I, Id: CollectorId> GcRebrand<'new_gc, Id> for (H, I) where
    H: GcRebrand<'new_gc, Id>,
    I: GcRebrand<'new_gc, Id>,
    H::Branded: Sized,
    I::Branded: Sized, 

type Branded = (<H as GcRebrand<'new_gc, Id>>::Branded, <I as GcRebrand<'new_gc, Id>>::Branded)

impl<'new_gc, G, H, I, Id: CollectorId> GcRebrand<'new_gc, Id> for (G, H, I) where
    G: GcRebrand<'new_gc, Id>,
    H: GcRebrand<'new_gc, Id>,
    I: GcRebrand<'new_gc, Id>,
    G::Branded: Sized,
    H::Branded: Sized,
    I::Branded: Sized, 

type Branded = (<G as GcRebrand<'new_gc, Id>>::Branded, <H as GcRebrand<'new_gc, Id>>::Branded, <I as GcRebrand<'new_gc, Id>>::Branded)

impl<'new_gc, F, G, H, I, Id: CollectorId> GcRebrand<'new_gc, Id> for (F, G, H, I) where
    F: GcRebrand<'new_gc, Id>,
    G: GcRebrand<'new_gc, Id>,
    H: GcRebrand<'new_gc, Id>,
    I: GcRebrand<'new_gc, Id>,
    F::Branded: Sized,
    G::Branded: Sized,
    H::Branded: Sized,
    I::Branded: Sized, 

type Branded = (<F as GcRebrand<'new_gc, Id>>::Branded, <G as GcRebrand<'new_gc, Id>>::Branded, <H as GcRebrand<'new_gc, Id>>::Branded, <I as GcRebrand<'new_gc, Id>>::Branded)

impl<'new_gc, E, F, G, H, I, Id: CollectorId> GcRebrand<'new_gc, Id> for (E, F, G, H, I) where
    E: GcRebrand<'new_gc, Id>,
    F: GcRebrand<'new_gc, Id>,
    G: GcRebrand<'new_gc, Id>,
    H: GcRebrand<'new_gc, Id>,
    I: GcRebrand<'new_gc, Id>,
    E::Branded: Sized,
    F::Branded: Sized,
    G::Branded: Sized,
    H::Branded: Sized,
    I::Branded: Sized, 

type Branded = (<E as GcRebrand<'new_gc, Id>>::Branded, <F as GcRebrand<'new_gc, Id>>::Branded, <G as GcRebrand<'new_gc, Id>>::Branded, <H as GcRebrand<'new_gc, Id>>::Branded, <I as GcRebrand<'new_gc, Id>>::Branded)

impl<'new_gc, D, E, F, G, H, I, Id: CollectorId> GcRebrand<'new_gc, Id> for (D, E, F, G, H, I) where
    D: GcRebrand<'new_gc, Id>,
    E: GcRebrand<'new_gc, Id>,
    F: GcRebrand<'new_gc, Id>,
    G: GcRebrand<'new_gc, Id>,
    H: GcRebrand<'new_gc, Id>,
    I: GcRebrand<'new_gc, Id>,
    D::Branded: Sized,
    E::Branded: Sized,
    F::Branded: Sized,
    G::Branded: Sized,
    H::Branded: Sized,
    I::Branded: Sized, 

type Branded = (<D as GcRebrand<'new_gc, Id>>::Branded, <E as GcRebrand<'new_gc, Id>>::Branded, <F as GcRebrand<'new_gc, Id>>::Branded, <G as GcRebrand<'new_gc, Id>>::Branded, <H as GcRebrand<'new_gc, Id>>::Branded, <I as GcRebrand<'new_gc, Id>>::Branded)

impl<'new_gc, C, D, E, F, G, H, I, Id: CollectorId> GcRebrand<'new_gc, Id> for (C, D, E, F, G, H, I) where
    C: GcRebrand<'new_gc, Id>,
    D: GcRebrand<'new_gc, Id>,
    E: GcRebrand<'new_gc, Id>,
    F: GcRebrand<'new_gc, Id>,
    G: GcRebrand<'new_gc, Id>,
    H: GcRebrand<'new_gc, Id>,
    I: GcRebrand<'new_gc, Id>,
    C::Branded: Sized,
    D::Branded: Sized,
    E::Branded: Sized,
    F::Branded: Sized,
    G::Branded: Sized,
    H::Branded: Sized,
    I::Branded: Sized, 

type Branded = (<C as GcRebrand<'new_gc, Id>>::Branded, <D as GcRebrand<'new_gc, Id>>::Branded, <E as GcRebrand<'new_gc, Id>>::Branded, <F as GcRebrand<'new_gc, Id>>::Branded, <G as GcRebrand<'new_gc, Id>>::Branded, <H as GcRebrand<'new_gc, Id>>::Branded, <I as GcRebrand<'new_gc, Id>>::Branded)

impl<'new_gc, B, C, D, E, F, G, H, I, Id: CollectorId> GcRebrand<'new_gc, Id> for (B, C, D, E, F, G, H, I) where
    B: GcRebrand<'new_gc, Id>,
    C: GcRebrand<'new_gc, Id>,
    D: GcRebrand<'new_gc, Id>,
    E: GcRebrand<'new_gc, Id>,
    F: GcRebrand<'new_gc, Id>,
    G: GcRebrand<'new_gc, Id>,
    H: GcRebrand<'new_gc, Id>,
    I: GcRebrand<'new_gc, Id>,
    B::Branded: Sized,
    C::Branded: Sized,
    D::Branded: Sized,
    E::Branded: Sized,
    F::Branded: Sized,
    G::Branded: Sized,
    H::Branded: Sized,
    I::Branded: Sized, 

type Branded = (<B as GcRebrand<'new_gc, Id>>::Branded, <C as GcRebrand<'new_gc, Id>>::Branded, <D as GcRebrand<'new_gc, Id>>::Branded, <E as GcRebrand<'new_gc, Id>>::Branded, <F as GcRebrand<'new_gc, Id>>::Branded, <G as GcRebrand<'new_gc, Id>>::Branded, <H as GcRebrand<'new_gc, Id>>::Branded, <I as GcRebrand<'new_gc, Id>>::Branded)

impl<'new_gc, A, B, C, D, E, F, G, H, I, Id: CollectorId> GcRebrand<'new_gc, Id> for (A, B, C, D, E, F, G, H, I) where
    A: GcRebrand<'new_gc, Id>,
    B: GcRebrand<'new_gc, Id>,
    C: GcRebrand<'new_gc, Id>,
    D: GcRebrand<'new_gc, Id>,
    E: GcRebrand<'new_gc, Id>,
    F: GcRebrand<'new_gc, Id>,
    G: GcRebrand<'new_gc, Id>,
    H: GcRebrand<'new_gc, Id>,
    I: GcRebrand<'new_gc, Id>,
    A::Branded: Sized,
    B::Branded: Sized,
    C::Branded: Sized,
    D::Branded: Sized,
    E::Branded: Sized,
    F::Branded: Sized,
    G::Branded: Sized,
    H::Branded: Sized,
    I::Branded: Sized, 

type Branded = (<A as GcRebrand<'new_gc, Id>>::Branded, <B as GcRebrand<'new_gc, Id>>::Branded, <C as GcRebrand<'new_gc, Id>>::Branded, <D as GcRebrand<'new_gc, Id>>::Branded, <E as GcRebrand<'new_gc, Id>>::Branded, <F as GcRebrand<'new_gc, Id>>::Branded, <G as GcRebrand<'new_gc, Id>>::Branded, <H as GcRebrand<'new_gc, Id>>::Branded, <I as GcRebrand<'new_gc, Id>>::Branded)

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 0] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 0]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 1] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 1]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 2] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 2]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 3] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 3]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 4] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 4]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 5] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 5]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 6] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 6]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 7] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 7]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 8] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 8]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 9] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 9]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 10] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 10]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 11] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 11]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 12] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 12]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 13] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 13]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 14] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 14]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 15] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 15]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 16] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 16]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 17] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 17]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 18] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 18]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 19] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 19]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 20] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 20]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 24] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 24]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 32] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 32]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 48] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 48]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 64] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 64]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 100] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 100]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 128] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 128]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 256] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 256]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 512] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 512]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 1024] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 1024]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 2048] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 2048]

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for [T; 4096] where
    T: GcRebrand<'new_gc, Id>,
    T::Branded: Sized, 

type Branded = [<T as GcRebrand<'new_gc, Id>>::Branded; 4096]

impl<'a, 'new_gc, T: 'a, Id: CollectorId> GcRebrand<'new_gc, Id> for &'a T where
    T: NullTrace,
    'a: 'new_gc, 

type Branded = &'a T

impl<'new_gc, T: NullTrace, Id: CollectorId> GcRebrand<'new_gc, Id> for Cell<T> where
    T: NullTrace,
    T: 'new_gc, 

type Branded = Self

impl<'new_gc, T: NullTrace, Id: CollectorId> GcRebrand<'new_gc, Id> for RefCell<T> where
    T: NullTrace,
    T: 'new_gc, 

type Branded = Self

impl<'a, 'new_gc, T: 'a, Id: CollectorId> GcRebrand<'new_gc, Id> for &'a mut T where
    T: NullTrace,
    'a: 'new_gc, 

type Branded = &'a mut T

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for Option<T> where
    <T as GcRebrand<'new_gc, Id>>::Branded: GcRebrand<'new_gc, Id>,
    T: GcRebrand<'new_gc, Id>,
    T: Trace,
    <T as GcRebrand<'new_gc, Id>>::Branded: Sized, 

type Branded = Option<<T as GcRebrand<'new_gc, Id>>::Branded>

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for Wrapping<T> where
    <T as GcRebrand<'new_gc, Id>>::Branded: GcRebrand<'new_gc, Id>,
    T: GcRebrand<'new_gc, Id>,
    T: Trace,
    <T as GcRebrand<'new_gc, Id>>::Branded: Sized, 

type Branded = Wrapping<<T as GcRebrand<'new_gc, Id>>::Branded>

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for Vec<T> where
    <T as GcRebrand<'new_gc, Id>>::Branded: GcRebrand<'new_gc, Id>,
    T: GcRebrand<'new_gc, Id>,
    T: Trace,
    <T as GcRebrand<'new_gc, Id>>::Branded: Sized, 

type Branded = Vec<<T as GcRebrand<'new_gc, Id>>::Branded>

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for Box<T> where
    <T as GcRebrand<'new_gc, Id>>::Branded: GcRebrand<'new_gc, Id>,
    T: GcRebrand<'new_gc, Id>,
    T: Trace,
    <T as GcRebrand<'new_gc, Id>>::Branded: Sized, 

type Branded = Box<<T as GcRebrand<'new_gc, Id>>::Branded>

impl<'new_gc, T: TraceImmutable, Id: CollectorId> GcRebrand<'new_gc, Id> for Rc<T> where
    <T as GcRebrand<'new_gc, Id>>::Branded: TraceImmutable + GcRebrand<'new_gc, Id>,
    T: TraceImmutable + GcRebrand<'new_gc, Id>,
    T: Trace,
    <T as GcRebrand<'new_gc, Id>>::Branded: Sized, 

type Branded = Rc<<T as GcRebrand<'new_gc, Id>>::Branded>

impl<'new_gc, T: TraceImmutable, Id: CollectorId> GcRebrand<'new_gc, Id> for Arc<T> where
    <T as GcRebrand<'new_gc, Id>>::Branded: TraceImmutable + GcRebrand<'new_gc, Id>,
    T: TraceImmutable + GcRebrand<'new_gc, Id>,
    T: Trace,
    <T as GcRebrand<'new_gc, Id>>::Branded: Sized, 

type Branded = Arc<<T as GcRebrand<'new_gc, Id>>::Branded>

impl<'new_gc, Id: CollectorId> GcRebrand<'new_gc, Id> for String

type Branded = String

impl<'new_gc, K: TraceImmutable, V, Id: CollectorId> GcRebrand<'new_gc, Id> for HashMap<K, V> where
    <K as GcRebrand<'new_gc, Id>>::Branded: TraceImmutable + GcRebrand<'new_gc, Id>,
    K: TraceImmutable + GcRebrand<'new_gc, Id>,
    <V as GcRebrand<'new_gc, Id>>::Branded: GcRebrand<'new_gc, Id>,
    V: GcRebrand<'new_gc, Id>,
    K: Trace,
    V: Trace,
    <K as GcRebrand<'new_gc, Id>>::Branded: Sized,
    <V as GcRebrand<'new_gc, Id>>::Branded: Sized, 

type Branded = HashMap<<K as GcRebrand<'new_gc, Id>>::Branded, <V as GcRebrand<'new_gc, Id>>::Branded>

impl<'new_gc, T: TraceImmutable, Id: CollectorId> GcRebrand<'new_gc, Id> for HashSet<T> where
    <T as GcRebrand<'new_gc, Id>>::Branded: TraceImmutable + GcRebrand<'new_gc, Id>,
    T: TraceImmutable + GcRebrand<'new_gc, Id>,
    T: Trace,
    <T as GcRebrand<'new_gc, Id>>::Branded: Sized, 

type Branded = HashSet<<T as GcRebrand<'new_gc, Id>>::Branded>

Implementors

impl<'gc, 'new_gc, T: GcSafe, Id: CollectorId> GcRebrand<'new_gc, Id> for GcArray<'gc, T, Id> where
    T: GcRebrand<'new_gc, Id>,
    <T as GcRebrand<'new_gc, Id>>::Branded: Sized + GcSafe, 

impl<'gc, 'new_gc, T: GcSafe, Id: CollectorId> GcRebrand<'new_gc, Id> for GcRawVec<'gc, T, Id> where
    T: GcSafe + GcRebrand<'new_gc, Id>,
    <T as GcRebrand<'new_gc, Id>>::Branded: Sized + GcSafe, 

impl<'gc, 'new_gc, T: ?Sized, Id> GcRebrand<'new_gc, Id> for Gc<'gc, T, Id> where
    T: GcSafe + ?Sized + GcRebrand<'new_gc, Id>,
    <T as GcRebrand<'new_gc, Id>>::Branded: GcSafe,
    Id: CollectorId,
    Self: Trace, 

impl<'new_gc, Id: CollectorId> GcRebrand<'new_gc, Id> for Unsupported

impl<'new_gc, T, Id: CollectorId> GcRebrand<'new_gc, Id> for AssumeNotTraced<T> where
    T: 'new_gc, 

impl<'new_gc, T: Trace + Copy, Id: CollectorId> GcRebrand<'new_gc, Id> for GcCell<T> where
    T: Trace + Copy + GcRebrand<'new_gc, Id>,
    Id: CollectorId,
    T::Branded: Copy + Trace,