pub enum GlobalPlaceKind {
Global(GlobalProvenance),
Value(ConstantExpr),
Projection(Box<GlobalPlace>, ConstProjectionElem),
}Variants§
Global(GlobalProvenance)
The allocation behind this provenance.
Value(ConstantExpr)
A constant value that isn’t stored in a global, e.g. the pointee of a reference in a const generic argument. It has no projections.
Projection(Box<GlobalPlace>, ConstProjectionElem)
A subplace of a place.
Implementations§
Source§impl GlobalPlaceKind
impl GlobalPlaceKind
pub fn as_global(&self) -> Option<&GlobalProvenance>
pub fn as_value(&self) -> Option<&ConstantExpr>
pub fn as_projection(&self) -> Option<(&Box<GlobalPlace>, &ConstProjectionElem)>
Source§impl GlobalPlaceKind
impl GlobalPlaceKind
pub fn as_global_mut(&mut self) -> Option<&mut GlobalProvenance>
pub fn as_value_mut(&mut self) -> Option<&mut ConstantExpr>
pub fn as_projection_mut( &mut self, ) -> Option<(&mut Box<GlobalPlace>, &mut ConstProjectionElem)>
Trait Implementations§
Source§impl AstVisitable for GlobalPlaceKind
impl AstVisitable for GlobalPlaceKind
Source§fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>
fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>
Recursively visit this type with the provided visitor. This calls the visitor’s
visit_$any
method if it exists, otherwise visit_inner.Source§fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>
fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>
Recursively visit this type with the provided visitor. This calls the visitor’s
visit_$any
method if it exists, otherwise visit_inner.Source§fn drive_two<V: ZipAst>(&self, other: &Self, v: &mut V) -> ControlFlow<V::Break>
fn drive_two<V: ZipAst>(&self, other: &Self, v: &mut V) -> ControlFlow<V::Break>
Recursively visit this type with the provided visitor. This calls the visitor’s
visit_$any
method if it exists, otherwise visit_inner.Source§fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))where
Self: Sized,
fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))where
Self: Sized,
Visit all occurrences of that type inside
self, in pre-order traversal.Source§fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))where
Self: Sized,
fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))where
Self: Sized,
Visit all occurrences of that type inside
self, in pre-order traversal.Source§impl Clone for GlobalPlaceKind
impl Clone for GlobalPlaceKind
Source§fn clone(&self) -> GlobalPlaceKind
fn clone(&self) -> GlobalPlaceKind
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for GlobalPlaceKind
impl Debug for GlobalPlaceKind
Source§impl<'de, __State: ?Sized> DeserializeState<'de, __State> for GlobalPlaceKindwhere
GlobalProvenance: DeserializeState<'de, __State>,
ConstantExpr: DeserializeState<'de, __State>,
Box<GlobalPlace>: DeserializeState<'de, __State>,
ConstProjectionElem: DeserializeState<'de, __State>,
impl<'de, __State: ?Sized> DeserializeState<'de, __State> for GlobalPlaceKindwhere
GlobalProvenance: DeserializeState<'de, __State>,
ConstantExpr: DeserializeState<'de, __State>,
Box<GlobalPlace>: DeserializeState<'de, __State>,
ConstProjectionElem: DeserializeState<'de, __State>,
fn deserialize_state<__D>(
__state: &__State,
__deserializer: __D,
) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Source§impl<'s, V> Drive<'s, V> for GlobalPlaceKindwhere
V: Visitor + Visit<'s, GlobalProvenance> + Visit<'s, ConstantExpr> + Visit<'s, Box<GlobalPlace>> + Visit<'s, ConstProjectionElem>,
impl<'s, V> Drive<'s, V> for GlobalPlaceKindwhere
V: Visitor + Visit<'s, GlobalProvenance> + Visit<'s, ConstantExpr> + Visit<'s, Box<GlobalPlace>> + Visit<'s, ConstProjectionElem>,
Source§fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>
fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>
Call
v.visit() on the immediate contents of self.Source§impl<'s, V> DriveMut<'s, V> for GlobalPlaceKindwhere
V: Visitor + VisitMut<'s, GlobalProvenance> + VisitMut<'s, ConstantExpr> + VisitMut<'s, Box<GlobalPlace>> + VisitMut<'s, ConstProjectionElem>,
impl<'s, V> DriveMut<'s, V> for GlobalPlaceKindwhere
V: Visitor + VisitMut<'s, GlobalProvenance> + VisitMut<'s, ConstantExpr> + VisitMut<'s, Box<GlobalPlace>> + VisitMut<'s, ConstProjectionElem>,
Source§fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>
fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>
Call
v.visit() on the immediate contents of self.Source§impl<'s, V> DriveTwo<'s, V> for GlobalPlaceKindwhere
V: Visitor<Break: Default> + VisitTwo<'s, GlobalProvenance> + VisitTwo<'s, ConstantExpr> + VisitTwo<'s, Box<GlobalPlace>> + VisitTwo<'s, ConstProjectionElem>,
impl<'s, V> DriveTwo<'s, V> for GlobalPlaceKindwhere
V: Visitor<Break: Default> + VisitTwo<'s, GlobalProvenance> + VisitTwo<'s, ConstantExpr> + VisitTwo<'s, Box<GlobalPlace>> + VisitTwo<'s, ConstProjectionElem>,
Source§fn drive_two_inner(
&'s self,
other: &'s Self,
visitor: &mut V,
) -> ControlFlow<V::Break>
fn drive_two_inner( &'s self, other: &'s Self, visitor: &mut V, ) -> ControlFlow<V::Break>
Call
v.visit() on the immediate contents of self and other, if they correspond. If
the values don’t match up, this returns Break(Default::default()).impl Eq for GlobalPlaceKind
Source§impl Hash for GlobalPlaceKind
impl Hash for GlobalPlaceKind
Source§impl Ord for GlobalPlaceKind
impl Ord for GlobalPlaceKind
Source§fn cmp(&self, other: &GlobalPlaceKind) -> Ordering
fn cmp(&self, other: &GlobalPlaceKind) -> Ordering
1.21.0 (const: unstable) · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
1.21.0 (const: unstable) · Source§fn min(self, other: Self) -> Selfwhere
Self: Sized,
fn min(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the minimum of two values. Read more
Source§impl PartialEq for GlobalPlaceKind
impl PartialEq for GlobalPlaceKind
Source§impl PartialOrd for GlobalPlaceKind
impl PartialOrd for GlobalPlaceKind
Source§impl<__State: ?Sized> SerializeState<__State> for GlobalPlaceKindwhere
GlobalProvenance: SerializeState<__State>,
ConstantExpr: SerializeState<__State>,
Box<GlobalPlace>: SerializeState<__State>,
ConstProjectionElem: SerializeState<__State>,
impl<__State: ?Sized> SerializeState<__State> for GlobalPlaceKindwhere
GlobalProvenance: SerializeState<__State>,
ConstantExpr: SerializeState<__State>,
Box<GlobalPlace>: SerializeState<__State>,
ConstProjectionElem: SerializeState<__State>,
fn serialize_state<__S>(
&self,
__state: &__State,
__serializer: __S,
) -> Result<__S::Ok, __S::Error>where
__S: Serializer,
impl StructuralPartialEq for GlobalPlaceKind
Auto Trait Implementations§
impl Freeze for GlobalPlaceKind
impl RefUnwindSafe for GlobalPlaceKind
impl Send for GlobalPlaceKind
impl Sync for GlobalPlaceKind
impl Unpin for GlobalPlaceKind
impl UnsafeUnpin for GlobalPlaceKind
impl UnwindSafe for GlobalPlaceKind
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
impl<T> Dedup for T
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.impl<T> HashConsable for T
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreimpl<T> Mappable for T
Source§impl<T> TyVisitable for Twhere
T: AstVisitable,
impl<T> TyVisitable for Twhere
T: AstVisitable,
Source§fn type_info(&self) -> TypeInfo
fn type_info(&self) -> TypeInfo
Compute various bits of information about the contents of this value. See methods on
TypeInfo.Source§fn visit_vars(&mut self, v: &mut impl VarsVisitor)
fn visit_vars(&mut self, v: &mut impl VarsVisitor)
Visit the variables contained in
self, as seen from the outside of self. This means
that any variable bound inside self will be skipped, and all the seen De Bruijn indices
will count from the outside of self.Source§fn substitute(self, generics: &GenericArgs) -> Self
fn substitute(self, generics: &GenericArgs) -> Self
Substitute the generic variables inside
self by replacing them with the provided values.
Note: if self is an item that comes from a TraitDecl, you must use
substitute_with_self or substitute_inner_binder, otherwise you’ll get panics.Source§fn substitute_inner_binder(self, generics: &GenericArgs) -> Self
fn substitute_inner_binder(self, generics: &GenericArgs) -> Self
Substitute the generic variables inside
self by replacing them with the provided values.
This is appropriate when substituting an inner binder.Source§fn substitute_explicits(self, generics: &GenericArgs) -> Self
fn substitute_explicits(self, generics: &GenericArgs) -> Self
Substitute only the type, region and const generic args.
Source§fn substitute_with_self(
self,
generics: &GenericArgs,
self_ref: &TraitRefKind,
) -> Self
fn substitute_with_self( self, generics: &GenericArgs, self_ref: &TraitRefKind, ) -> Self
Substitute the generic variables as well as the
TraitRefKind::SelfId trait ref.Source§fn substitute_with_tref(self, tref: &TraitRef) -> Self
fn substitute_with_tref(self, tref: &TraitRef) -> Self
Substitute the generic variables as well as the
TraitRefKind::SelfId trait ref.Source§fn try_substitute_with_tref(
self,
tref: &TraitRef,
) -> Result<Self, GenericsMismatch>
fn try_substitute_with_tref( self, tref: &TraitRef, ) -> Result<Self, GenericsMismatch>
Substitute the generic variables as well as the
TraitRefKind::SelfId trait ref.fn try_substitute( self, generics: &GenericArgs, ) -> Result<Self, GenericsMismatch>
fn try_substitute_with_self( self, generics: &GenericArgs, self_ref: &TraitRefKind, ) -> Result<Self, GenericsMismatch>
Source§fn move_under_binder(self) -> Self
fn move_under_binder(self) -> Self
Move under one binder.
Source§fn move_under_binders(self, depth: DeBruijnId) -> Self
fn move_under_binders(self, depth: DeBruijnId) -> Self
Move under
depth binders.Source§fn move_from_under_binder(self) -> Option<Self>
fn move_from_under_binder(self) -> Option<Self>
Move from under one binder.
Source§fn move_from_under_binders(self, depth: DeBruijnId) -> Option<Self>
fn move_from_under_binders(self, depth: DeBruijnId) -> Option<Self>
Move the value out of
depth binders. Returns None if it contains a variable bound in
one of these depth binders.Source§fn visit_db_id<B>(
&mut self,
f: impl FnMut(&mut DeBruijnId) -> ControlFlow<B>,
) -> ControlFlow<B>
fn visit_db_id<B>( &mut self, f: impl FnMut(&mut DeBruijnId) -> ControlFlow<B>, ) -> ControlFlow<B>
Visit the de Bruijn ids contained in
self, as seen from the outside of self. This means
that any variable bound inside self will be skipped, and all the seen indices will count
from the outside of self.Source§fn has_escaping_region_var(&self) -> bool
fn has_escaping_region_var(&self) -> bool
Whether this value mentions any region var of its environment.
Source§fn collect_regions(&self) -> SeqHashSet<Region>
fn collect_regions(&self) -> SeqHashSet<Region>
Collect the regions contained in
self.Source§fn replace_regions(self, f: impl FnMut() -> Region) -> Self
fn replace_regions(self, f: impl FnMut() -> Region) -> Self
Replace all the regions by the output of the provided function. Binders levels are handled
automatically.
Source§fn replace_erased_regions(self, f: impl FnMut() -> Region) -> Self
fn replace_erased_regions(self, f: impl FnMut() -> Region) -> Self
Replace all the erased regions by the output of the provided function. Binders levels are
handled automatically.