{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"ty::tls::with(move"}]}
                ty::tls::with(move |tcx| {
            Const::Unevaluated(c, _ty) => {
                    let c = tcx.lift(c).unwrap();