{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"for"}]}
        for witness in self.0.iter_mut() {
    fn push_pattern(&mut self, pat: WitnessPat<Cx>) {
            witness.push_pattern(pat.clone())