Struct ResponseRelating 

struct ResponseRelating<'infcx, Infcx, I: Interner> {
    infcx: &'infcx Infcx,
    span: I::Span,
}

Enforce that a is equal to b.

In normal type relating, we don’t structurally relate non-rigid aliases as they can be normalized to any type. So we emit projection obligations to defer the checks. E.g. in infcx.eq or infcx.relate. But when unifying query response with original vars, we want to directly set the original vars to values in response.

Therefore this type relation is created to always structurally relate aliases, or more specifically, structurally eq everything.

Fields

infcx: &'infcx Infcx

span: I::Span

Implementations

impl<'infcx, Infcx, I> ResponseRelating<'infcx, Infcx, I>

where Infcx: InferCtxtLike<Interner = I>, I: Interner,

fn new(infcx: &'infcx Infcx, span: I::Span) -> Self

Trait Implementations

impl<Infcx, I> TypeRelation<I> for ResponseRelating<'_, Infcx, I>

where Infcx: InferCtxtLike<Interner = I>, I: Interner,

fn cx(&self) -> I

fn relate_ty_args( &mut self, a_ty: I::Ty, _b_ty: I::Ty, _def_id: I::DefId, a_args: I::GenericArgs, b_args: I::GenericArgs, _: impl FnOnce(I::GenericArgs) -> I::Ty, ) -> RelateResult<I, I::Ty>

fn relate_with_variance<T: Relate<I>>( &mut self, _variance: Variance, _info: VarianceDiagInfo<I>, a: T, b: T, ) -> RelateResult<I, T>

Switch variance for the purpose of relating a and b.

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

fn regions(&mut self, a: Region<I>, b: Region<I>) -> RelateResult<I, Region<I>>

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

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

where T: Relate<I>,

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

where T: Relate<I>,

Generic relation routine suitable for most anything.

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.