Struct ConstantEvaluator 

pub struct ConstantEvaluator<'gcx> {
    pub gcx: Gcx<'gcx>,
    /* private fields */
}

Evaluates simple constants.

This only supports basic arithmetic and logical operations, and does not support more complex operations like function calls or memory allocation.

This is only supposed to be used for array sizes and other simple constants.

Fields

gcx: Gcx<'gcx>

Implementations

impl<'gcx> ConstantEvaluator<'gcx>

pub fn new(gcx: Gcx<'gcx>) -> ConstantEvaluator<'gcx>

Creates a new constant evaluator.

pub fn eval(&mut self, expr: &Expr<'_>) -> Result<IntScalar, ErrorGuaranteed>

Evaluates the given expression, emitting an error diagnostic if it fails.

pub fn try_eval(&mut self, expr: &Expr<'_>) -> Result<IntScalar, EvalError>

Evaluates the given expression, returning an error if it fails.

pub fn emit_eval_error( &self, expr: &Expr<'_>, err: EvalError, ) -> ErrorGuaranteed

Emits a diagnostic for the given evaluation error.