Skip to main content

eval_array_len

Function eval_array_len 

Source
pub fn eval_array_len(
    gcx: Gcx<'_>,
    size: &Expr<'_>,
) -> Result<Uint<256, 4>, ErrorGuaranteed>
Expand description

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