fn __action767(
cx: &mut ParseCtxt<'_>,
__0: (Location, Token, Location),
__1: (Location, Ident, Location),
__2: (Location, Generics, Location),
__3: (Location, Token, Location),
__4: (Location, RefineParams, Location),
__5: (Location, Token, Location),
__6: (Location, Token, Location),
__7: (Location, Ty, Location),
) -> TyAlias