Struct rustc_typeck::variance::constraints::ConstraintContext [−][src]
pub struct ConstraintContext<'a, 'tcx: 'a> { 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>>, }
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Fields
terms_cx: TermsContext<'a, 'tcx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
covariant: &'a VarianceTerm<'a>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
contravariant: &'a VarianceTerm<'a>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
invariant: &'a VarianceTerm<'a>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
bivariant: &'a VarianceTerm<'a>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
constraints: Vec<Constraint<'a>>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Methods
impl<'a, 'tcx> ConstraintContext<'a, 'tcx>
[src]
impl<'a, 'tcx> ConstraintContext<'a, 'tcx>
fn visit_node_helper(&mut self, id: NodeId)
[src]
fn visit_node_helper(&mut self, id: NodeId)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn tcx(&self) -> TyCtxt<'a, 'tcx, 'tcx>
[src]
fn tcx(&self) -> TyCtxt<'a, 'tcx, 'tcx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn build_constraints_for_item(&mut self, def_id: DefId)
[src]
fn build_constraints_for_item(&mut self, def_id: DefId)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn add_constraint(
&mut self,
current: &CurrentItem,
index: u32,
variance: &'a VarianceTerm<'a>
)
[src]
fn add_constraint(
&mut self,
current: &CurrentItem,
index: u32,
variance: &'a VarianceTerm<'a>
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn contravariant(
&mut self,
variance: &'a VarianceTerm<'a>
) -> &'a VarianceTerm<'a>
[src]
fn contravariant(
&mut self,
variance: &'a VarianceTerm<'a>
) -> &'a VarianceTerm<'a>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn invariant(&mut self, variance: &'a VarianceTerm<'a>) -> &'a VarianceTerm<'a>
[src]
fn invariant(&mut self, variance: &'a VarianceTerm<'a>) -> &'a VarianceTerm<'a>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn constant_term(&self, v: Variance) -> &'a VarianceTerm<'a>
[src]
fn constant_term(&self, v: Variance) -> &'a VarianceTerm<'a>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn xform(
&mut self,
v1: &'a VarianceTerm<'a>,
v2: &'a VarianceTerm<'a>
) -> &'a VarianceTerm<'a>
[src]
fn xform(
&mut self,
v1: &'a VarianceTerm<'a>,
v2: &'a VarianceTerm<'a>
) -> &'a VarianceTerm<'a>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn add_constraints_from_trait_ref(
&mut self,
current: &CurrentItem,
trait_ref: TraitRef<'tcx>,
variance: &'a VarianceTerm<'a>
)
[src]
fn add_constraints_from_trait_ref(
&mut self,
current: &CurrentItem,
trait_ref: TraitRef<'tcx>,
variance: &'a VarianceTerm<'a>
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn add_constraints_from_invariant_substs(
&mut self,
current: &CurrentItem,
substs: &Substs<'tcx>,
variance: &'a VarianceTerm<'a>
)
[src]
fn add_constraints_from_invariant_substs(
&mut self,
current: &CurrentItem,
substs: &Substs<'tcx>,
variance: &'a VarianceTerm<'a>
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn add_constraints_from_ty(
&mut self,
current: &CurrentItem,
ty: Ty<'tcx>,
variance: &'a VarianceTerm<'a>
)
[src]
fn add_constraints_from_ty(
&mut self,
current: &CurrentItem,
ty: Ty<'tcx>,
variance: &'a VarianceTerm<'a>
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
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: &Substs<'tcx>,
variance: &'a VarianceTerm<'a>
)
[src]
fn add_constraints_from_substs(
&mut self,
current: &CurrentItem,
def_id: DefId,
substs: &Substs<'tcx>,
variance: &'a VarianceTerm<'a>
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
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>
)
[src]
fn add_constraints_from_sig(
&mut self,
current: &CurrentItem,
sig: PolyFnSig<'tcx>,
variance: &'a VarianceTerm<'a>
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
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>
)
[src]
fn add_constraints_from_region(
&mut self,
current: &CurrentItem,
region: Region<'tcx>,
variance: &'a VarianceTerm<'a>
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
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>
)
[src]
fn add_constraints_from_mt(
&mut self,
current: &CurrentItem,
mt: &TypeAndMut<'tcx>,
variance: &'a VarianceTerm<'a>
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
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>
[src]
impl<'a, 'tcx, 'v> ItemLikeVisitor<'v> for ConstraintContext<'a, 'tcx>
fn visit_item(&mut self, item: &Item)
[src]
fn visit_item(&mut self, item: &Item)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_trait_item(&mut self, trait_item: &TraitItem)
[src]
fn visit_trait_item(&mut self, trait_item: &TraitItem)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn visit_impl_item(&mut self, impl_item: &ImplItem)
[src]
fn visit_impl_item(&mut self, impl_item: &ImplItem)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Auto Trait Implementations
impl<'a, 'tcx> !Send for ConstraintContext<'a, 'tcx>
impl<'a, 'tcx> !Send for ConstraintContext<'a, 'tcx>
impl<'a, 'tcx> !Sync for ConstraintContext<'a, 'tcx>
impl<'a, 'tcx> !Sync for ConstraintContext<'a, 'tcx>