{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"traits::elaborate(self.tcx,"}]}
        traits::elaborate(self.tcx, predicates.predicates.iter().copied())
            // We don't care about regions here.