pub enum PtrMetadata {
None,
Length,
VTable(TypeDeclRef),
InheritFrom(Ty),
}
Expand description
The metadata stored in a pointer. That’s the information stored in pointers alongside
their address. It’s empty for Sized
types, and interesting for unsized
aka dynamically-sized types.
Variants§
None
Types that need no metadata, namely T: Sized
types.
Length
Metadata for [T]
and str
, and user-defined types
that directly or indirectly contain one of the two.
Of type usize
.
Notably, length for [T]
denotes the number of elements in the slice.
While for str
it denotes the number of bytes in the string.
VTable(TypeDeclRef)
Metadata for dyn Trait
, referring to the vtable struct,
also for user-defined types that directly or indirectly contain a dyn Trait
.
Of type &'static vtable
InheritFrom(Ty)
Unknown due to generics, but will inherit from the given type.
This is consistent with <Ty as Pointee>::Metadata
.
Of type TyKind::Metadata(Ty)
.
Implementations§
Trait Implementations§
Source§impl AstVisitable for PtrMetadata
impl AstVisitable for PtrMetadata
Source§fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>
fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>
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>
visit_$any
method if it exists, otherwise visit_inner
.Source§fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))
fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))
self
, in pre-order traversal.Source§fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))
fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))
self
, in pre-order traversal.Source§impl Clone for PtrMetadata
impl Clone for PtrMetadata
Source§fn clone(&self) -> PtrMetadata
fn clone(&self) -> PtrMetadata
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moreSource§impl Debug for PtrMetadata
impl Debug for PtrMetadata
Source§impl<'de> Deserialize<'de> for PtrMetadata
impl<'de> Deserialize<'de> for PtrMetadata
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Source§impl<'s, V> Drive<'s, V> for PtrMetadatawhere
V: Visitor + Visit<'s, TypeDeclRef> + Visit<'s, Ty>,
impl<'s, V> Drive<'s, V> for PtrMetadatawhere
V: Visitor + Visit<'s, TypeDeclRef> + Visit<'s, Ty>,
Source§fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>
fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>
v.visit()
on the immediate contents of self
.Source§impl<'s, V> DriveMut<'s, V> for PtrMetadatawhere
V: Visitor + VisitMut<'s, TypeDeclRef> + VisitMut<'s, Ty>,
impl<'s, V> DriveMut<'s, V> for PtrMetadatawhere
V: Visitor + VisitMut<'s, TypeDeclRef> + VisitMut<'s, Ty>,
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>
v.visit()
on the immediate contents of self
.Source§impl PartialEq for PtrMetadata
impl PartialEq for PtrMetadata
Source§impl Serialize for PtrMetadata
impl Serialize for PtrMetadata
impl Eq for PtrMetadata
impl StructuralPartialEq for PtrMetadata
Auto Trait Implementations§
impl Freeze for PtrMetadata
impl RefUnwindSafe for PtrMetadata
impl Send for PtrMetadata
impl Sync for PtrMetadata
impl Unpin for PtrMetadata
impl UnwindSafe for PtrMetadata
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§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
§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
key
and return true
if they are equal.§impl<I, T> ExtractContext<I, ()> for T
impl<I, T> ExtractContext<I, ()> for T
§fn extract_context(self, _original_input: I)
fn extract_context(self, _original_input: I)
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> 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>
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>
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 more§impl<I> RecreateContext<I> for I
impl<I> RecreateContext<I> for I
§fn recreate_context(_original_input: I, tail: I) -> I
fn recreate_context(_original_input: I, tail: I) -> I
Source§impl<T> TyVisitable for Twhere
T: AstVisitable,
impl<T> TyVisitable for Twhere
T: AstVisitable,
Source§fn visit_vars(&mut self, v: &mut impl VarsVisitor)
fn visit_vars(&mut self, v: &mut impl VarsVisitor)
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
.fn substitute(self, generics: &GenericArgs) -> Self
fn substitute_with_self( self, generics: &GenericArgs, self_ref: &TraitRefKind, ) -> Self
Source§fn move_under_binder(self) -> Self
fn move_under_binder(self) -> Self
Source§fn move_under_binders(self, depth: DeBruijnId) -> Self
fn move_under_binders(self, depth: DeBruijnId) -> Self
depth
binders.Source§fn move_from_under_binder(self) -> Option<Self>
fn move_from_under_binder(self) -> Option<Self>
Source§fn move_from_under_binders(self, depth: DeBruijnId) -> Option<Self>
fn move_from_under_binders(self, depth: DeBruijnId) -> Option<Self>
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>
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.