{"ast_node_type":"variable","tokens":[{"end":46,"kind":"keyword","start":0,"text":"let"}]}
                let ty = cx.lift(ty).unwrap();
            mir::Const::Val(val, ty) => {
                let val = cx.lift(val).unwrap();