Function __action56

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