{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"elaborate::supertrait_def_ids(tcx,"}]}
                                elaborate::supertrait_def_ids(tcx, src_principal.def_id())
                            .chain(
                                    .filter(|def_id| tcx.trait_is_auto(*def_id)),