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