Struct rustc_typeck::variance::constraints::ConstraintContext

pub struct ConstraintContext<'a, 'tcx> {
    pub terms_cx: TermsContext<'a, 'tcx>,
    covariant: &'a VarianceTerm<'a>,
    contravariant: &'a VarianceTerm<'a>,
    invariant: &'a VarianceTerm<'a>,
    bivariant: &'a VarianceTerm<'a>,
    pub constraints: Vec<Constraint<'a>>,
}

Fields

terms_cx: TermsContext<'a, 'tcx>

covariant: &'a VarianceTerm<'a>

contravariant: &'a VarianceTerm<'a>

invariant: &'a VarianceTerm<'a>

bivariant: &'a VarianceTerm<'a>

constraints: Vec<Constraint<'a>>

Implementations

impl<'a, 'tcx> ConstraintContext<'a, 'tcx>

pub(in variance::constraints) fn visit_node_helper(
    &mut self,
    id: HirId
)

pub(in variance::constraints) fn tcx(
    &self
) -> TyCtxt<'tcx>

pub(in variance::constraints) fn build_constraints_for_item(
    &mut self,
    def_id: LocalDefId
)

pub(in variance::constraints) fn add_constraint(
    &mut self,
    current: &CurrentItem,
    index: u32,
    variance: &'a VarianceTerm<'a>
)

pub(in variance::constraints) fn contravariant(
    &mut self,
    variance: &'a VarianceTerm<'a>
) -> &'a VarianceTerm<'a>

pub(in variance::constraints) fn invariant(
    &mut self,
    variance: &'a VarianceTerm<'a>
) -> &'a VarianceTerm<'a>

pub(in variance::constraints) fn constant_term(
    &self,
    v: Variance
) -> &'a VarianceTerm<'a>

pub(in variance::constraints) fn xform(
    &mut self,
    v1: &'a VarianceTerm<'a>,
    v2: &'a VarianceTerm<'a>
) -> &'a VarianceTerm<'a>

pub(in variance::constraints) fn add_constraints_from_trait_ref(
    &mut self,
    current: &CurrentItem,
    trait_ref: TraitRef<'tcx>,
    variance: &'a VarianceTerm<'a>
)

pub(in variance::constraints) fn add_constraints_from_invariant_substs(
    &mut self,
    current: &CurrentItem,
    substs: SubstsRef<'tcx>,
    variance: &'a VarianceTerm<'a>
)

pub(in variance::constraints) fn add_constraints_from_ty(
    &mut self,
    current: &CurrentItem,
    ty: Ty<'tcx>,
    variance: &'a VarianceTerm<'a>
)

Adds constraints appropriate for an instance of ty appearing in a context with the generics defined in generics and ambient variance variance

pub(in variance::constraints) fn add_constraints_from_substs(
    &mut self,
    current: &CurrentItem,
    def_id: DefId,
    substs: SubstsRef<'tcx>,
    variance: &'a VarianceTerm<'a>
)

Adds constraints appropriate for a nominal type (enum, struct, object, etc) appearing in a context with ambient variance variance

pub(in variance::constraints) fn add_constraints_from_sig(
    &mut self,
    current: &CurrentItem,
    sig: PolyFnSig<'tcx>,
    variance: &'a VarianceTerm<'a>
)

Adds constraints appropriate for a function with signature sig appearing in a context with ambient variance variance

pub(in variance::constraints) fn add_constraints_from_region(
    &mut self,
    current: &CurrentItem,
    region: Region<'tcx>,
    variance: &'a VarianceTerm<'a>
)

Adds constraints appropriate for a region appearing in a context with ambient variance variance

pub(in variance::constraints) fn add_constraints_from_mt(
    &mut self,
    current: &CurrentItem,
    mt: &TypeAndMut<'tcx>,
    variance: &'a VarianceTerm<'a>
)

Adds constraints appropriate for a mutability-type pair appearing in a context with ambient variance variance

Trait Implementations

impl<'a, 'tcx, 'v> ItemLikeVisitor<'v> for ConstraintContext<'a, 'tcx>

pub fn visit_item(&mut self, item: &Item<'_>)

pub fn visit_trait_item(&mut self, trait_item: &TraitItem<'_>)

pub fn visit_impl_item(&mut self, impl_item: &ImplItem<'_>)