{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"new_pats.extend_from_slice(&self.pats[1..]);"}]}
        new_pats.extend_from_slice(&self.pats[1..]);
        let mut new_pats = head_pat.specialize(ctor, ctor_arity);
        // `ctor` is relevant for this row if it is the actual constructor of this row, or if the