{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"push_generic_params_internal(tcx,"}]}
                    push_generic_params_internal(tcx, principal.args, output, visited);
                let principal_has_generic_params =