Clean up unused vir def, and switched to implicit lifetime for typ_to…

…_air
utaal · Sep 17, 2021 · 8b9ff40 · 8b9ff40
1 parent 18ccfba
commit 8b9ff40
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 6 deletions.
diff --git a/verify/vir/src/def.rs b/verify/vir/src/def.rs
@@ -81,7 +81,6 @@ pub const TYPE_ID_SINT: &str = "SINT";
 pub const PREFIX_TYPE_ID: &str = "TYPE%";
 pub const HAS_TYPE: &str = "has_type";
 pub const VARIANT_FIELD_SEPARATOR: &str = "/";
-pub const SUFFIX_OPAQUE_DATATYPE: &str = "&OPAQ";
 
 pub fn suffix_global_id(ident: &Ident) -> Ident {
     Arc::new(ident.to_string() + SUFFIX_GLOBAL)
@@ -111,10 +110,6 @@ pub fn prefix_type_id(ident: &Ident) -> Ident {
     Arc::new(PREFIX_TYPE_ID.to_string() + ident)
 }
 
-pub fn opaque_datatype(ident: &Ident) -> Ident {
-    Arc::new(ident.as_ref().to_owned() + SUFFIX_OPAQUE_DATATYPE)
-}
-
 pub fn prefix_box(ident: &Ident) -> Ident {
     Arc::new(PREFIX_BOX.to_string() + ident)
 }

diff --git a/verify/vir/src/sst_to_air.rs b/verify/vir/src/sst_to_air.rs
@@ -41,7 +41,7 @@ pub(crate) fn apply_range_fun(name: &str, range: &IntRange, exprs: Vec<Expr>) ->
     str_apply(name, &args)
 }
 
-pub(crate) fn typ_to_air<'a>(_ctx: &'a Ctx, typ: &Typ) -> air::ast::Typ {
+pub(crate) fn typ_to_air(_ctx: &Ctx, typ: &Typ) -> air::ast::Typ {
     match &**typ {
         TypX::Unit => str_typ(UNIT),
         TypX::Int(_) => int_typ(),