Enum ConstantExpr 

pub(crate) enum ConstantExpr {
    TypeSystem {
        expr: Box<str>,
    },
    Path {
        path: Box<str>,
    },
    Anonymous {
        body: BodyId,
    },
    Extern {
        def_id: DefId,
    },
    Local {
        def_id: DefId,
        body: BodyId,
    },
    Infer,
}

Variants

TypeSystem

This is the wrapper around ty::Const for a non-local constant. Because it doesn’t have a BodyId, we need to handle it on its own.

Note that ty::Const includes generic parameters, and may not always be uniquely identified by a DefId. So this field must be different from Extern.

Fields

expr: Box<str>

Path

A constant that is just a path (i.e., referring to a const param, free const, etc.).

Fields

path: Box<str>

Anonymous

A constant (expression) that’s not an item or associated item. These are usually found nested inside types (e.g., array lengths) or expressions (e.g., repeat counts), and also used to define explicit discriminant values for enum variants.

Fields

body: BodyId

Extern

A constant from a different crate.

Fields

def_id: DefId

Local

const FOO: u32 = ...;

Fields

def_id: DefId

body: BodyId

Infer

An inferred constant as in [10u8; _].

Implementations

impl ConstantExpr

pub(crate) fn rendered(&self, tcx: TyCtxt<'_>) -> String

pub(crate) fn evaluated_rendered(&self, tcx: TyCtxt<'_>) -> Option<String>

pub(crate) fn is_literal(&self, tcx: TyCtxt<'_>) -> bool

Trait Implementations

impl Clone for ConstantExpr

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstantExpr

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

Formats the value using the given formatter.

impl Eq for ConstantExpr

impl FromClean<ConstantExpr> for Constant

fn from_clean(constant: &ConstantExpr, renderer: &JsonRenderer<'_>) -> Self

impl Hash for ConstantExpr

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

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 ConstantExpr

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ConstantExpr

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

Size for each variant:

• TypeSystem: 20 bytes
• Path: 20 bytes
• Anonymous: 8 bytes
• Extern: 8 bytes
• Local: 16 bytes
• Infer: 0 bytes