Struct stable_mir::ty::MirConst

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

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

impl MirConst

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

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

pub fn kind(&self) -> &ConstantKind

Retrieve the constant kind.

pub fn ty(&self) -> Ty

Get the constant type.

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

Try to evaluate to a target usize.

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.

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.

pub fn from_bool(value: bool) -> MirConst

Build a new constant that represents the given boolean value.

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

impl Clone for MirConst

fn clone(&self) -> MirConst

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MirConst

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

Formats the value using the given formatter.

impl PartialEq for MirConst

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Visitable for MirConst

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

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

impl Eq for MirConst

impl StructuralPartialEq for MirConst

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