Struct ConstEntry 

pub struct ConstEntry {
    pub name: ScopedName,
    pub type_ann: TypeExpr,
    pub expr: Expr,
    pub span: Span,
    pub src: BodySource,
}

A const declaration with type annotation and lowered body.

Fields

name: ScopedName

type_ann: TypeExpr

expr: Expr

span: Span

src: BodySource

Provenance of this declaration’s span (#868). None means the span indexes into the IR’s own file source; Some carries the source of a dependency body merged in by an instantiated include, so diagnostics anchored on the span render against the right file.

Trait Implementations

impl Clone for ConstEntry

fn clone(&self) -> ConstEntry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstEntry

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

Formats the value using the given formatter.