pub fn eval_array_len( gcx: Gcx<'_>, size: &Expr<'_>, ) -> Result<Uint<256, 4>, ErrorGuaranteed>
Evaluates the given array size expression, emitting an error diagnostic if it fails.