Function __action38

fn __action38(
    cx: &mut ParseCtxt<'_>,
    (_, lo, _): (Location, Location, Location),
    (_, asyncness, _): (Location, Async, Location),
    (_, _, _): (Location, Token, Location),
    (_, ident, _): (Location, Option<Ident>, Location),
    (_, generics, _): (Location, Generics, Location),
    (_, params, _): (Location, Option<RefineParams>, Location),
    (_, _, _): (Location, Token, Location),
    (_, inputs, _): (Location, Vec<FnInput>, Location),
    (_, _, _): (Location, Token, Location),
    (_, ret_lo, _): (Location, Location, Location),
    (_, ret_hi, _): (Location, Location, Location),
    (_, returns, _): (Location, Option<Ty>, Location),
    (_, requires, _): (Location, Option<Vec<Requires>>, Location),
    (_, ensures, _): (Location, Option<Vec<Ensures>>, Location),
    (_, predicates, _): (Location, Option<Vec<WhereBoundPredicate>>, Location),
    (_, hi, _): (Location, Location, Location),
) -> FnSig