fn __action7( cx: &mut ParseCtxt<'_>, (_, __0, _): (Location, Vec<ImplAssocReft>, Location), ) -> Vec<ImplAssocReft>