Function lower_assert_body 

pub fn lower_assert_body(
    body: &AssertBody,
    ctx: ExprLoweringContext<'_>,
) -> Result<AssertBody, ExprLowerError>

Lower a syntax assertion body into HIR, rejecting unresolved references.

Errors

Returns the first ExprLowerError if any reference cannot be resolved.