flux_syntax::grammarFunction __action409
Source fn __action409(
cx: &mut ParseCtxt<'_>,
__0: (Location, Location, Location),
__1: (Location, Async, Location),
__2: (Location, Token, Location),
__3: (Location, Option<Ident>, Location),
__4: (Location, Generics, Location),
__5: (Location, Option<RefineParams>, Location),
__6: (Location, Token, Location),
__7: (Location, Vec<FnInput>, Location),
__8: (Location, Token, Location),
__9: (Location, Location, Location),
__10: (Location, Location, Location),
__11: (Location, Option<Vec<Requires>>, Location),
__12: (Location, Option<Vec<Ensures>>, Location),
__13: (Location, Option<Vec<WhereBoundPredicate>>, Location),
__14: (Location, Location, Location),
) -> FnSig