Function __action51

fn __action51(
    cx: &mut ParseCtxt<'_>,
    (_, expr, _): (Location, Expr, Location),
) -> Ensures