Struct stable_mir::ty::Const

pub struct Const {
    pub(crate) kind: ConstantKind,
    pub(crate) ty: Ty,
    pub id: ConstId,
}

Represents a constant in MIR or from the Type system.

Fields

kind: ConstantKind

The constant kind.

ty: Ty

The constant type.

id: ConstId

Used for internal tracking of the internal constant.

Implementations

impl Const

pub fn new(kind: ConstantKind, ty: Ty, id: ConstId) -> Const

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.

fn try_from_target_usize(val: u64) -> Result<Self, Error>

Creates an interned usize constant.

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<Const, 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) -> Const

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) -> Const

Build a new constant that represents the given boolean value.

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

Build a new constant that represents the given unsigned integer.

Trait Implementations

impl Clone for Const

fn clone(&self) -> Const

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Const

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

Formats the value using the given formatter.

impl PartialEq for Const

fn eq(&self, other: &Const) -> 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 Const

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 Const

impl StructuralPartialEq for Const

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: 80 bytes