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