{"ast_node_type":"variable","tokens":[{"end":52,"kind":"keyword","start":0,"text":"let"}]}
            let pat = cx.hoist_witness_pat(witness);
            let DisplayWitness(witness, cx, display_target) = *self;
            write!(f, "{}", pat.display(cx.db, display_target))