Function __action39

fn __action39(
    cx: &mut ParseCtxt<'_>,
    (_, lo, _): (Location, Location, Location),
    (_, _, _): (Location, Token, Location),
    (_, name, _): (Location, Ident, Location),
    (_, _, _): (Location, Token, Location),
    (_, params, _): (Location, RefineParams, Location),
    (_, _, _): (Location, Token, Location),
    (_, _, _): (Location, Token, Location),
    (_, output, _): (Location, BaseSort, Location),
    (_, _, _): (Location, Option<Token>, Location),
    (_, hi, _): (Location, Location, Location),
) -> TraitAssocReft