{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"mir::Const::Unevaluated(uv,"}]}
            mir::Const::Unevaluated(uv, _) => uv.shrink(),
        let uv = match self.monomorphize(constant.const_) {
            mir::Const::Ty(_, c) => match c.kind() {