Struct ValuePointerType

#[non_exhaustive]
#[repr(C)]
pub struct ValuePointerType {
    pub mutable: bool,
    pub wide: bool,
    pub target: fn() -> &'static Shape,
}

Describes the raw/reference pointer

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

mutable: bool

Is the pointer mutable or not.

wide: bool

Describes whether the pointer is wider or not

Note: if the pointer is wide, then the target shape will have ShapeLayout::Unsized, and the vtables of the target shape will expect the pointer to this pointer, rather than the resulting address of unsized data. This is because wide pointer’s metadata information is an undefined implementation detail, at this current moment.

See: https://github.com/rust-lang/rust/issues/81513

target: fn() -> &'static Shape

Shape of the pointer’s pointee

This needs to be indirect (behind a function), in order to allow recursive types without overflowing the const-eval system.

Implementations

impl ValuePointerType

pub fn target(&self) -> &'static Shape

Returns the shape of the pointer’s pointee.

Trait Implementations

impl Clone for ValuePointerType

fn clone(&self) -> ValuePointerType

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ValuePointerType

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Hash for ValuePointerType

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ValuePointerType

fn eq(&self, other: &ValuePointerType) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ValuePointerType

impl Eq for ValuePointerType

impl StructuralPartialEq for ValuePointerType