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