flux_syntax::grammarFunction __action35
Source fn __action35(
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),
(_, hi, _): (Location, Location, Location),
) -> TraitAssocReft