Struct Sub

struct Sub<'a, E> {
    env: &'a mut E,
    reason: ConstrReason,
    span: Span,
    obligations: Vec<Binder<CoroutineObligPredicate>>,
}

Context used to relate two types a and b via subtyping

Fields

env: &'a mut E

The environment to lookup locations pointed to by TyKind::Ptr.

reason: ConstrReason

span: Span

obligations: Vec<Binder<CoroutineObligPredicate>>

FIXME(nilehmann) This is used to store coroutine obligations generated during subtyping when relating an opaque type. Other obligations related to relating opaque types are resolved directly here. The implementation is really messy and we may be missing some obligations.

Implementations

impl<'a, E: LocEnv> Sub<'a, E>

fn new(env: &'a mut E, reason: ConstrReason, span: Span) -> Self

fn tag(&self) -> Tag

fn tys( &mut self, infcx: &mut InferCtxt<'_, '_, '_>, a: &Ty, b: &Ty, ) -> InferResult

fn btys( &mut self, infcx: &mut InferCtxt<'_, '_, '_>, a: &BaseTy, b: &BaseTy, ) -> InferResult

fn generic_args( &mut self, infcx: &mut InferCtxt<'_, '_, '_>, variance: Variance, a: &GenericArg, b: &GenericArg, ) -> InferResult

fn idxs_eq(&mut self, infcx: &mut InferCtxt<'_, '_, '_>, a: &Expr, b: &Expr)

fn abs_eq(&mut self, infcx: &mut InferCtxt<'_, '_, '_>, a: &Lambda, b: &Lambda)

fn handle_opaque_type( &mut self, infcx: &mut InferCtxt<'_, '_, '_>, bty: &BaseTy, alias_ty: &AliasTy, ) -> InferResult