{"ast_node_type":"variable","tokens":[{"end":39,"kind":"keyword","start":0,"text":"let"}]}
        let ty = tcx.lift(ty).unwrap();
        let ct = tcx.lift(ct).unwrap();
        pretty_print_const_value_tcx(tcx, ct, ty, fmt)