{"ast_node_type":"variable","tokens":[{"end":22,"kind":"keyword","start":0,"text":"let"}]}
        let cx = self;
    pub fn print_witness_pat(&self, pat: &WitnessPat<'p, 'tcx>) -> String {
        let print = |p| cx.print_witness_pat(p);