From 285920ea2d25a3f83770c707e145ac9fcedc3b07 Mon Sep 17 00:00:00 2001
From: Eric Mark Martin <ericmarkmartin@gmail.com>
Date: Thu, 13 Jul 2023 00:24:24 -0400
Subject: [PATCH] move const definition

---
 compiler/rustc_smir/src/stable_mir/ty.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/compiler/rustc_smir/src/stable_mir/ty.rs b/compiler/rustc_smir/src/stable_mir/ty.rs
index e9f17f92c04..11d6cf16763 100644
--- a/compiler/rustc_smir/src/stable_mir/ty.rs
+++ b/compiler/rustc_smir/src/stable_mir/ty.rs
@@ -1,6 +1,8 @@
 use super::{with, DefId};
 use crate::rustc_internal::Opaque;
 
+type Const = Opaque;
+
 #[derive(Copy, Clone, Debug)]
 pub struct Ty(pub usize);