{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"witness.push_pattern(pat.clone())"}]}
            witness.push_pattern(pat.clone())
        for witness in self.0.iter_mut() {
        }