Struct stable_mir::ty::MirConst

source ·
pub struct MirConst {
    pub(crate) kind: ConstantKind,
    pub(crate) ty: Ty,
    pub id: MirConstId,
}
Expand description

Represents a constant in MIR

Fields§

§kind: ConstantKind

The constant kind.

§ty: Ty

The constant type.

§id: MirConstId

Used for internal tracking of the internal constant.

Implementations§

source§

impl MirConst

source

pub fn new(kind: ConstantKind, ty: Ty, id: MirConstId) -> MirConst

Build a constant. Note that this should only be used by the compiler.

source

pub fn kind(&self) -> &ConstantKind

Retrieve the constant kind.

source

pub fn ty(&self) -> Ty

Get the constant type.

source

pub fn eval_target_usize(&self) -> Result<u64, Error>

Try to evaluate to a target usize.

source

pub fn try_new_zero_sized(ty: Ty) -> Result<MirConst, Error>

Create a constant that represents a new zero-sized constant of type T. Fails if the type is not a ZST or if it doesn’t have a known size.

source

pub fn from_str(value: &str) -> MirConst

Build a new constant that represents the given string.

Note that there is no guarantee today about duplication of the same constant. I.e.: Calling this function multiple times with the same argument may or may not return the same allocation.

source

pub fn from_bool(value: bool) -> MirConst

Build a new constant that represents the given boolean value.

source

pub fn try_from_uint(value: u128, uint_ty: UintTy) -> Result<MirConst, Error>

Build a new constant that represents the given unsigned integer.

Trait Implementations§

source§

impl Clone for MirConst

source§

fn clone(&self) -> MirConst

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for MirConst

source§

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

Formats the value using the given formatter. Read more
source§

impl PartialEq for MirConst

source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

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

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

impl Serialize for MirConst

source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more
source§

impl Visitable for MirConst

source§

fn visit<V: Visitor>(&self, visitor: &mut V) -> ControlFlow<V::Break>

source§

fn super_visit<V: Visitor>(&self, visitor: &mut V) -> ControlFlow<V::Break>

source§

impl Eq for MirConst

source§

impl StructuralPartialEq for MirConst

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where T: Clone,

source§

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for T
where T: Clone,

source§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

Layout§

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 96 bytes