Fix SpaceMut::as_space signature to reflect lifetimes properly

trueagi-io · Sep 24, 2024 · 479afb1 · 479afb1
1 parent de48f6f
commit 479afb1
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/c/src/space.rs b/c/src/space.rs
@@ -827,7 +827,7 @@ impl SpaceMut for CSpace {
         let from: atom_ref_t = from.into();
         (api.replace)(&self.params, &from, to.into())
     }
-    fn as_space(&self) -> &dyn Space {
+    fn as_space<'a>(&self) -> &(dyn Space + 'a) {
         self
     }
 }

diff --git a/lib/src/space/grounding.rs b/lib/src/space/grounding.rs
@@ -336,7 +336,7 @@ impl SpaceMut for GroundingSpace {
     fn replace(&mut self, from: &Atom, to: Atom) -> bool {
         GroundingSpace::replace(self, from, to)
     }
-    fn as_space(&self) -> &dyn Space {
+    fn as_space<'a>(&self) -> &(dyn Space + 'a) {
         self
     }
 }

diff --git a/lib/src/space/mod.rs b/lib/src/space/mod.rs
@@ -257,7 +257,7 @@ pub trait SpaceMut: Space {
 
     /// Turn a &dyn SpaceMut into an &dyn Space.  Obsolete when Trait Upcasting is stabilized.
     /// [Rust issue #65991](https://github.com/rust-lang/rust/issues/65991)  Any month now.
-    fn as_space(&self) -> &dyn Space;
+    fn as_space<'a>(&self) -> &(dyn Space + 'a);
 }
 
 #[derive(Clone)]
@@ -305,7 +305,7 @@ impl SpaceMut for DynSpace {
     fn replace(&mut self, from: &Atom, to: Atom) -> bool {
         self.0.borrow_mut().replace(from, to)
     }
-    fn as_space(&self) -> &dyn Space {
+    fn as_space<'a>(&self) -> &(dyn Space + 'a) {
         self
     }
 }

diff --git a/lib/src/space/module.rs b/lib/src/space/module.rs
@@ -84,7 +84,7 @@ impl SpaceMut for ModuleSpace {
     fn replace(&mut self, from: &Atom, to: Atom) -> bool {
         self.main.replace(from, to)
     }
-    fn as_space(&self) -> &dyn Space {
+    fn as_space<'a>(&self) -> &(dyn Space + 'a) {
         self
     }
 }