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