Function __action50

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