Function destructure_expr 

pub fn destructure_expr(
    cx: &mut Cx,
    expr: &Expr,
    shape: &dyn Shape,
) -> Result<ShapeMatch>

Checks expr against a single shape, returning the kernel ShapeMatch.

The expression-side counterpart to destructure_value, used to match and bind unevaluated Expr forms.

Errors

Propagates any error from the shape’s expression check.