Trait Bound 

pub unsafe trait Bound<'gc> {
    type Rebound;
}

Trait which indicates a Gc’d object who’s lifetimes can be rebound.

Safety

Implementor must ensure that the associated types only change the approriate lifetimes: Bound::Rebound only changes the ’gc.

Example

use dreck::{Gc,Bound};
pub struct Container<'gc,'own>(Gc<'gc,'own, String>);

unsafe impl<'from,'own,'to> Bound<'to> for Container<'from,'own>{
    // Change the 'from lifetime into 'to
    type Rebound = Container<'to,'own>;
}

Required Associated Types

type Rebound

Implementations on Foreign Types

impl<'a, 'to, T, R> Bound<'to> for &'a mut T

where T: Bound<'to, Rebound = R>, R: 'a,

type Rebound = &'a mut R

impl<'to> Bound<'to> for bool

type Rebound = bool

impl<'to> Bound<'to> for char

type Rebound = char

impl<'to> Bound<'to> for f32

type Rebound = f32

impl<'to> Bound<'to> for f64

type Rebound = f64

impl<'to> Bound<'to> for i8

type Rebound = i8

impl<'to> Bound<'to> for i16

type Rebound = i16

impl<'to> Bound<'to> for i32

type Rebound = i32

impl<'to> Bound<'to> for i64

type Rebound = i64

impl<'to> Bound<'to> for isize

type Rebound = isize

impl<'to> Bound<'to> for u8

type Rebound = u8

impl<'to> Bound<'to> for u16

type Rebound = u16

impl<'to> Bound<'to> for u32

type Rebound = u32

impl<'to> Bound<'to> for u64

type Rebound = u64

impl<'to> Bound<'to> for ()

type Rebound = ()

impl<'to> Bound<'to> for usize

type Rebound = usize

impl<'to> Bound<'to> for String

type Rebound = String

impl<'to, A: Bound<'to>> Bound<'to> for (A,)

type Rebound = (<A as Bound<'to>>::Rebound,)

impl<'to, A: Bound<'to>, B: Bound<'to>> Bound<'to> for (A, B)

type Rebound = (<A as Bound<'to>>::Rebound, <B as Bound<'to>>::Rebound)

impl<'to, A: Bound<'to>, B: Bound<'to>, C: Bound<'to>> Bound<'to> for (A, B, C)

type Rebound = (<A as Bound<'to>>::Rebound, <B as Bound<'to>>::Rebound, <C as Bound<'to>>::Rebound)

impl<'to, A: Bound<'to>, B: Bound<'to>, C: Bound<'to>, D: Bound<'to>> Bound<'to> for (A, B, C, D)

type Rebound = (<A as Bound<'to>>::Rebound, <B as Bound<'to>>::Rebound, <C as Bound<'to>>::Rebound, <D as Bound<'to>>::Rebound)

impl<'to, A: Bound<'to>, B: Bound<'to>, C: Bound<'to>, D: Bound<'to>, E: Bound<'to>> Bound<'to> for (A, B, C, D, E)

type Rebound = (<A as Bound<'to>>::Rebound, <B as Bound<'to>>::Rebound, <C as Bound<'to>>::Rebound, <D as Bound<'to>>::Rebound, <E as Bound<'to>>::Rebound)

impl<'to, A: Bound<'to>, B: Bound<'to>, C: Bound<'to>, D: Bound<'to>, E: Bound<'to>, F: Bound<'to>> Bound<'to> for (A, B, C, D, E, F)

type Rebound = (<A as Bound<'to>>::Rebound, <B as Bound<'to>>::Rebound, <C as Bound<'to>>::Rebound, <D as Bound<'to>>::Rebound, <E as Bound<'to>>::Rebound, <F as Bound<'to>>::Rebound)

impl<'to, A: Bound<'to>, B: Bound<'to>, C: Bound<'to>, D: Bound<'to>, E: Bound<'to>, F: Bound<'to>, G: Bound<'to>> Bound<'to> for (A, B, C, D, E, F, G)

type Rebound = (<A as Bound<'to>>::Rebound, <B as Bound<'to>>::Rebound, <C as Bound<'to>>::Rebound, <D as Bound<'to>>::Rebound, <E as Bound<'to>>::Rebound, <F as Bound<'to>>::Rebound, <G as Bound<'to>>::Rebound)

impl<'to, A: Bound<'to>, B: Bound<'to>, C: Bound<'to>, D: Bound<'to>, E: Bound<'to>, F: Bound<'to>, G: Bound<'to>, H: Bound<'to>> Bound<'to> for (A, B, C, D, E, F, G, H)

type Rebound = (<A as Bound<'to>>::Rebound, <B as Bound<'to>>::Rebound, <C as Bound<'to>>::Rebound, <D as Bound<'to>>::Rebound, <E as Bound<'to>>::Rebound, <F as Bound<'to>>::Rebound, <G as Bound<'to>>::Rebound, <H as Bound<'to>>::Rebound)

impl<'to, T: Bound<'to>> Bound<'to> for Option<T>

type Rebound = Option<<T as Bound<'to>>::Rebound>

impl<'to, T: Bound<'to>> Bound<'to> for Vec<T>

type Rebound = Vec<<T as Bound<'to>>::Rebound>

Implementors

impl<'to, 'from, 'own, T> Bound<'to> for Gc<'from, 'own, T>

where T: Trace<'own> + Bound<'to>, T::Rebound: Trace<'own> + 'to,

type Rebound = Gc<'to, 'own, <T as Bound<'to>>::Rebound>