{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"rustc_middle::mir::Const::Ty(ty,"}]}
            rustc_middle::mir::Const::Ty(ty, ct) => {
        match constant {
                rustc_middle::mir::Const::Ty(tcx.lift(ty).unwrap(), tcx.lift(ct).unwrap())