Function destructure_value 

pub fn destructure_value(
    cx: &mut Cx,
    value: Value,
    shape: &dyn Shape,
) -> Result<ShapeMatch>

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

Thin pass-through to the kernel match contract, exposed as the pattern organ’s value-destructuring entry point.

Errors

Propagates any error from the shape’s value check.