flux_syntax::grammarFunction __action16
Source fn __action16(
cx: &mut ParseCtxt<'_>,
(_, lo, _): (Location, Location, Location),
(_, _, _): (Location, Token, Location),
(_, ident, _): (Location, Ident, Location),
(_, generics, _): (Location, Generics, Location),
(_, params, _): (Location, Option<RefineParams>, Location),
(_, index, _): (Location, Option<RefineParam>, Location),
(_, _, _): (Location, Token, Location),
(_, ty, _): (Location, Ty, Location),
(_, hi, _): (Location, Location, Location),
) -> TyAlias