{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            bug!("expected ConstKind::Param or ConstKind::Value here, found {:?}", c)
        Const::Unevaluated(uv, _) => Some(uv),