Function __action22

fn __action22(
    cx: &mut ParseCtxt<'_>,
    (_, __0, _): (Location, SortDecl, Location),
) -> Item