Struct AnonConstLoc 

pub struct AnonConstLoc {
    pub owner: ExpressionStoreOwnerId,
    pub expr: ExprId,
    pub ty: StoredEarlyBinder<StoredTy>,
    pub(crate) allow_using_generic_params: bool,
}

An anonymous const expression that appears in a type position (e.g., array lengths, const generic arguments like { N + 1 }, or const param defaults). Unlike named constants, these don’t have their own Body — their expressions live in the parent’s signature ExpressionStore.

Fields

owner: ExpressionStoreOwnerId

The owner store containing this expression.

expr: ExprId

The ExprId within the owner’s ExpressionStore that is the root of this anonymous const expression.

ty: StoredEarlyBinder<StoredTy>

allow_using_generic_params: bool

Whether to allow using generic params from the owner. true for array repeats, false for everything else.

Trait Implementations

impl Clone for AnonConstLoc

fn clone(&self) -> AnonConstLoc

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AnonConstLoc

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

Formats the value using the given formatter.

impl Hash for AnonConstLoc

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 AnonConstLoc

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

impl StructuralPartialEq for AnonConstLoc