Struct CanonicalVarMatcher 

struct CanonicalVarMatcher<'tcx> {
    tcx: TyCtxt<'tcx>,
    values: Vec<Option<GenericArg<'tcx>>>,
}

Fields

tcx: TyCtxt<'tcx>

values: Vec<Option<GenericArg<'tcx>>>

Implementations

impl<'tcx> CanonicalVarMatcher<'tcx>

fn record<T>( &mut self, var: BoundVar, value: GenericArg<'tcx>, result: T, ) -> RelateResult<'tcx, T>

Trait Implementations

impl<'tcx> TypeRelation<TyCtxt<'tcx>> for CanonicalVarMatcher<'tcx>

fn cx(&self) -> TyCtxt<'tcx>

fn relate_ty_args( &mut self, a_ty: Ty<'tcx>, _: Ty<'tcx>, _: DefId, a_args: GenericArgsRef<'tcx>, b_args: GenericArgsRef<'tcx>, _: impl FnOnce(GenericArgsRef<'tcx>) -> Ty<'tcx>, ) -> RelateResult<'tcx, Ty<'tcx>>

fn relate_with_variance<T: Relate<TyCtxt<'tcx>>>( &mut self, _: Variance, _: VarianceDiagInfo<TyCtxt<'tcx>>, a: T, b: T, ) -> RelateResult<'tcx, T>

Switch variance for the purpose of relating a and b.

fn tys(&mut self, a: Ty<'tcx>, b: Ty<'tcx>) -> RelateResult<'tcx, Ty<'tcx>>

fn regions( &mut self, a: Region<'tcx>, _: Region<'tcx>, ) -> RelateResult<'tcx, Region<'tcx>>

fn consts( &mut self, a: Const<'tcx>, b: Const<'tcx>, ) -> RelateResult<'tcx, Const<'tcx>>

fn binders<T>( &mut self, a: Binder<'tcx, T>, b: Binder<'tcx, T>, ) -> RelateResult<'tcx, Binder<'tcx, T>>

where T: Relate<TyCtxt<'tcx>>,

fn relate<T>(&mut self, a: T, b: T) -> Result<T, TypeError<I>>

where T: Relate<I>,

Generic relation routine suitable for most anything.