{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"elaborate::supertrait_def_ids(self.cx(),"}]}
                elaborate::supertrait_def_ids(self.cx(), principal_def_id)
            .chain(a_data.principal_def_id().into_iter().flat_map(|principal_def_id| {
                    .filter(|def_id| self.cx().trait_is_auto(*def_id))