{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
                // Clone `self` and add `c(_, _, _)` to each of its witnesses.
                let pat = pcx.wild_from_ctor(ctor.clone());
                let mut wit_matrix = self.clone();