[−][src]Struct rustc_typeck::variance::constraints::ConstraintContext
🔬 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>
Blanket Implementations
impl<T> From for T
[src]
impl<T> From for T
impl<T, U> Into for T where
U: From<T>,
[src]
impl<T, U> Into for T where
U: From<T>,
impl<T, U> TryFrom for T where
T: From<U>,
[src]
impl<T, U> TryFrom for T where
T: From<U>,
type Error = !
try_from
)The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
try_from
)Performs the conversion.
impl<T> Borrow for T where
T: ?Sized,
[src]
impl<T> Borrow for T where
T: ?Sized,
ⓘImportant traits for &'a mut Rfn borrow(&self) -> &T
[src]
fn borrow(&self) -> &T
Immutably borrows from an owned value. Read more
impl<T, U> TryInto for T where
U: TryFrom<T>,
[src]
impl<T, U> TryInto for T where
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
try_from
)The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
try_from
)Performs the conversion.
impl<T> BorrowMut for T where
T: ?Sized,
[src]
impl<T> BorrowMut for T where
T: ?Sized,
ⓘImportant traits for &'a mut Rfn borrow_mut(&mut self) -> &mut T
[src]
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<T> Any for T where
T: 'static + ?Sized,
[src]
impl<T> Any for T where
T: 'static + ?Sized,
fn get_type_id(&self) -> TypeId
[src]
fn get_type_id(&self) -> TypeId
🔬 This is a nightly-only experimental API. (get_type_id
)
this method will likely be replaced by an associated static
Gets the TypeId
of self
. Read more
impl<E> SpecializationError for E
[src]
impl<E> SpecializationError for E
fn not_found<S, T>(trait_name: &'static str, method_name: &'static str) -> E where
T: ?Sized,
[src]
fn not_found<S, T>(trait_name: &'static str, method_name: &'static str) -> E where
T: ?Sized,
🔬 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?
Create an error for a missing method specialization. Defaults to panicking with type, trait & method names. S
is the encoder/decoder state type, T
is the type being encoded/decoded, and the arguments are the names of the trait and method that should've been overridden. Read more
impl<T> Erased for T
[src]
impl<T> Erased for T
impl<T> Send for T where
T: ?Sized,
[src]
impl<T> Send for T where
T: ?Sized,
impl<T> Sync for T where
T: ?Sized,
[src]
impl<T> Sync for T where
T: ?Sized,
impl<T> Erased for T
impl<T> Erased for T
impl<T> MaybeResult for T
[src]
impl<T> MaybeResult for T
fn from_ok(x: T) -> T
[src]
fn from_ok(x: T) -> T
🔬 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 map_same<F>(self, f: F) -> T where
F: FnOnce(T) -> T,
[src]
fn map_same<F>(self, f: F) -> T where
F: FnOnce(T) -> T,
🔬 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?
impl<'a, T> Captures for T where
T: ?Sized,
[src]
impl<'a, T> Captures for T where
T: ?Sized,