Function check_shape_expr 

pub fn check_shape_expr(
    cx: &mut Cx,
    shape: &ShapeRef,
    expr: &Expr,
) -> Result<ShapeMatch>

Checks an expression against the shape behind a shape reference.