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>

fn visit_node_helper(&mut self, id: HirId)

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

fn build_constraints_for_item(&mut self, def_id: LocalDefId)

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

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

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

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

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

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

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

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

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

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

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>

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

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

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

fn visit_foreign_item(&mut self, foreign_item: &ForeignItem<'_>)

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 152 bytes