Struct rustc_middle::mir::UserTypeProjections [−][src]
A collection of projections into user types.
They are projections because a binding can occur a part of a parent pattern that has been ascribed a type.
Its a collection because there can be multiple type ascriptions on the path from the root of the pattern down to the binding itself.
An example:
struct S<'a>((i32, &'a str), String); let S((_, w): (i32, &'static str), _): S = ...; // ------ ^^^^^^^^^^^^^^^^^^^ (1) // --------------------------------- ^ (2)
The highlights labelled (1)
show the subpattern (_, w)
being
ascribed the type (i32, &'static str)
.
The highlights labelled (2)
show the whole pattern being
ascribed the type S
.
In this example, when we descend to w
, we will have built up the
following two projected types:
- base:
S
, projection:(base.0).1
- base:
(i32, &'static str)
, projection:base.1
The first will lead to the constraint w: &'1 str
(for some
inferred region '1
). The second will lead to the constraint w: &'static str
.
Fields
contents: Vec<(UserTypeProjection, Span)>
Implementations
impl<'tcx> UserTypeProjections
[src]
pub fn none() -> Self
[src]
pub fn is_empty(&self) -> bool
[src]
pub fn projections_and_spans(
&self
) -> impl Iterator<Item = &(UserTypeProjection, Span)> + ExactSizeIterator
[src]
&self
) -> impl Iterator<Item = &(UserTypeProjection, Span)> + ExactSizeIterator
pub fn projections(
&self
) -> impl Iterator<Item = &UserTypeProjection> + ExactSizeIterator
[src]
&self
) -> impl Iterator<Item = &UserTypeProjection> + ExactSizeIterator
pub fn push_projection(self, user_ty: &UserTypeProjection, span: Span) -> Self
[src]
fn map_projections(
self,
f: impl FnMut(UserTypeProjection) -> UserTypeProjection
) -> Self
[src]
self,
f: impl FnMut(UserTypeProjection) -> UserTypeProjection
) -> Self
pub fn index(self) -> Self
[src]
pub fn subslice(self, from: u64, to: u64) -> Self
[src]
pub fn deref(self) -> Self
[src]
pub fn leaf(self, field: Field) -> Self
[src]
pub fn variant(
self,
adt_def: &'tcx AdtDef,
variant_index: VariantIdx,
field: Field
) -> Self
[src]
self,
adt_def: &'tcx AdtDef,
variant_index: VariantIdx,
field: Field
) -> Self
Trait Implementations
impl Clone for UserTypeProjections
[src]
fn clone(&self) -> UserTypeProjections
[src]
pub fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl Debug for UserTypeProjections
[src]
impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for UserTypeProjections
[src]
impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for UserTypeProjections
[src]
impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for UserTypeProjections
[src]
fn hash_stable(
&self,
__hcx: &mut StableHashingContext<'__ctx>,
__hasher: &mut StableHasher
)
[src]
&self,
__hcx: &mut StableHashingContext<'__ctx>,
__hasher: &mut StableHasher
)
impl<'tcx> TypeFoldable<'tcx> for UserTypeProjections
[src]
fn super_fold_with<__F: TypeFolder<'tcx>>(self, __folder: &mut __F) -> Self
[src]
fn super_visit_with<__F: TypeVisitor<'tcx>>(
&self,
__folder: &mut __F
) -> ControlFlow<__F::BreakTy>
[src]
&self,
__folder: &mut __F
) -> ControlFlow<__F::BreakTy>
fn fold_with<F: TypeFolder<'tcx>>(self, folder: &mut F) -> Self
[src]
fn visit_with<V: TypeVisitor<'tcx>>(
&self,
visitor: &mut V
) -> ControlFlow<V::BreakTy>
[src]
&self,
visitor: &mut V
) -> ControlFlow<V::BreakTy>
fn has_vars_bound_at_or_above(&self, binder: DebruijnIndex) -> bool
[src]
fn has_vars_bound_above(&self, binder: DebruijnIndex) -> bool
[src]
fn has_escaping_bound_vars(&self) -> bool
[src]
fn has_type_flags(&self, flags: TypeFlags) -> bool
[src]
fn has_projections(&self) -> bool
[src]
fn has_opaque_types(&self) -> bool
[src]
fn references_error(&self) -> bool
[src]
fn has_param_types_or_consts(&self) -> bool
[src]
fn has_infer_regions(&self) -> bool
[src]
fn has_infer_types(&self) -> bool
[src]
fn has_infer_types_or_consts(&self) -> bool
[src]
fn needs_infer(&self) -> bool
[src]
fn has_placeholders(&self) -> bool
[src]
fn needs_subst(&self) -> bool
[src]
fn has_free_regions(&self) -> bool
[src]
fn has_erased_regions(&self) -> bool
[src]
fn has_erasable_regions(&self) -> bool
[src]
fn is_global(&self) -> bool
[src]
fn has_late_bound_regions(&self) -> bool
[src]
fn still_further_specializable(&self) -> bool
[src]
Auto Trait Implementations
impl RefUnwindSafe for UserTypeProjections
impl !Send for UserTypeProjections
impl !Sync for UserTypeProjections
impl Unpin for UserTypeProjections
impl UnwindSafe for UserTypeProjections
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<'a, T> Captures<'a> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> MaybeResult<T> for T
[src]
type Error = !
pub fn from(Result<T, <T as MaybeResult<T>>::Error>) -> T
[src]
pub fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>
[src]
impl<'tcx, T> Subst<'tcx> for T where
T: TypeFoldable<'tcx>,
[src]
T: TypeFoldable<'tcx>,
pub fn subst_spanned(Self, TyCtxt<'tcx>, &[GenericArg<'tcx>], Option<Span>) -> T
[src]
fn subst(self, tcx: TyCtxt<'tcx>, substs: &[GenericArg<'tcx>]) -> Self
[src]
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.