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<'_>)