fn __action663(
cx: &mut ParseCtxt<'_>,
__0: (Location, Token, Location),
__1: (Location, Ident, Location),
__2: (Location, Token, Location),
__3: (Location, RefineParams, Location),
__4: (Location, Token, Location),
__5: (Location, Token, Location),
__6: (Location, BaseSort, Location),
__7: (Location, Location, Location),
) -> TraitAssocReft