Trait rustc::ty::relate::Relate

pub trait Relate<'tcx>: TypeFoldable<'tcx> {
    fn relate<'a, 'gcx, R>(
        relation: &mut R, 
        a: &Self, 
        b: &Self
    ) -> RelateResult<'tcx, Self>
    where
        R: TypeRelation<'a, 'gcx, 'tcx>,
        'gcx: 'a + 'tcx,
        'tcx: 'a;
}

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Required Methods

fn relate<'a, 'gcx, R>(
    relation: &mut R,
    a: &Self,
    b: &Self
) -> RelateResult<'tcx, Self> where
    R: TypeRelation<'a, 'gcx, 'tcx>,
    'gcx: 'a + 'tcx,
    'tcx: 'a, 

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Implementations on Foreign Types

impl<'tcx> Relate<'tcx> for Abi

fn relate<'a, 'gcx, R>(
    relation: &mut R,
    a: &Abi,
    b: &Abi
) -> RelateResult<'tcx, Abi> where
    R: TypeRelation<'a, 'gcx, 'tcx>,
    'gcx: 'a + 'tcx,
    'tcx: 'a, 

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl<'tcx> Relate<'tcx> for Vec<PolyExistentialProjection<'tcx>>

fn relate<'a, 'gcx, R>(
    relation: &mut R,
    a: &Vec<PolyExistentialProjection<'tcx>>,
    b: &Vec<PolyExistentialProjection<'tcx>>
) -> RelateResult<'tcx, Vec<PolyExistentialProjection<'tcx>>> where
    R: TypeRelation<'a, 'gcx, 'tcx>,
    'gcx: 'a + 'tcx,
    'tcx: 'a, 

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl<'tcx, T: Relate<'tcx>> Relate<'tcx> for Rc<T>

fn relate<'a, 'gcx, R>(
    relation: &mut R,
    a: &Rc<T>,
    b: &Rc<T>
) -> RelateResult<'tcx, Rc<T>> where
    R: TypeRelation<'a, 'gcx, 'tcx>,
    'gcx: 'a + 'tcx,
    'tcx: 'a, 

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl<'tcx, T: Relate<'tcx>> Relate<'tcx> for Box<T>

fn relate<'a, 'gcx, R>(
    relation: &mut R,
    a: &Box<T>,
    b: &Box<T>
) -> RelateResult<'tcx, Box<T>> where
    R: TypeRelation<'a, 'gcx, 'tcx>,
    'gcx: 'a + 'tcx,
    'tcx: 'a, 

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Implementors

• impl<'tcx> Relate<'tcx> for TypeAndMut<'tcx>
• impl<'tcx> Relate<'tcx> for FnSig<'tcx>
• impl<'tcx> Relate<'tcx> for Unsafety
• impl<'tcx> Relate<'tcx> for ProjectionTy<'tcx>
• impl<'tcx> Relate<'tcx> for ExistentialProjection<'tcx>
• impl<'tcx> Relate<'tcx> for TraitRef<'tcx>
• impl<'tcx> Relate<'tcx> for ExistentialTraitRef<'tcx>
• impl<'tcx> Relate<'tcx> for Ty<'tcx>
• impl<'tcx> Relate<'tcx> for &'tcx Slice<ExistentialPredicate<'tcx>>
• impl<'tcx> Relate<'tcx> for ClosureSubsts<'tcx>
• impl<'tcx> Relate<'tcx> for GeneratorInterior<'tcx>
• impl<'tcx> Relate<'tcx> for &'tcx Substs<'tcx>
• impl<'tcx> Relate<'tcx> for Region<'tcx>
• impl<'tcx, T: Relate<'tcx>> Relate<'tcx> for Binder<T>