Function check_shape_value 

pub fn check_shape_value(
    cx: &mut Cx,
    shape: &ShapeRef,
    value: Value,
) -> Result<ShapeMatch>

Checks a value against the shape behind a shape reference.