kill dead code

dada-lang · Feb 1, 2025 · 73f5887 · 73f5887
1 parent 8126b91
commit 73f5887
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/src/type_system/red_terms.rs b/src/type_system/red_terms.rs
@@ -211,13 +211,6 @@ impl RedPerms {
             && (!self.leased_from.is_empty() || self.variables.iter().any(|v| env.is(&v, IsLeased)))
     }
 
-    /// True if this term cannot be leased.
-    ///
-    /// False means the value is not known to be not leased, not that it is leased.
-    pub fn is_not_leased(&self, env: &Env) -> bool {
-        self.is_copy(env) || self.is_owned(env)
-    }
-
     /// True if this term cannot be leased.
     ///
     /// False means the value is not known to be not leased, not that it is leased.