Function __action55

fn __action55(
    cx: &mut ParseCtxt<'_>,
    (_, ident, _): (Location, Ident, Location),
    (_, _, _): (Location, Token, Location),
    (_, ty, _): (Location, Ty, Location),
) -> Ensures