Fix lifetime errors

twizmwazin · Nov 12, 2024 · 0c760bf · 0c760bf
1 parent 8a9bfe6
commit 0c760bf
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/crates/clarirs_core/src/algorithms/simplify.rs b/crates/clarirs_core/src/algorithms/simplify.rs
@@ -17,11 +17,11 @@ macro_rules! simplify {
 }
 
 pub trait Simplify<'c>: Sized {
-    fn simplify(&'c self) -> Result<Self, ClarirsError>;
+    fn simplify(&self) -> Result<Self, ClarirsError>;
 }
 
 impl<'c> Simplify<'c> for BoolAst<'c> {
-    fn simplify(&'c self) -> Result<Self, ClarirsError> {
+    fn simplify(&self) -> Result<Self, ClarirsError> {
         let ctx = self.context();
 
         self.context()
@@ -288,7 +288,7 @@ impl<'c> Simplify<'c> for BoolAst<'c> {
 }
 
 impl<'c> Simplify<'c> for BitVecAst<'c> {
-    fn simplify(&'c self) -> Result<Self, ClarirsError> {
+    fn simplify(&self) -> Result<Self, ClarirsError> {
         let ctx = self.context();
 
         self.context()
@@ -823,7 +823,7 @@ impl<'c> Simplify<'c> for BitVecAst<'c> {
 }
 
 impl<'c> Simplify<'c> for FloatAst<'c> {
-    fn simplify(&'c self) -> Result<Self, ClarirsError> {
+    fn simplify(&self) -> Result<Self, ClarirsError> {
         let ctx = self.context();
 
         self.context()
@@ -950,7 +950,7 @@ impl<'c> Simplify<'c> for FloatAst<'c> {
 }
 
 impl<'c> Simplify<'c> for StringAst<'c> {
-    fn simplify(&'c self) -> Result<Self, ClarirsError> {
+    fn simplify(&self) -> Result<Self, ClarirsError> {
         let ctx = self.context();
 
         self.context()

diff --git a/crates/clarirs_core/src/context.rs b/crates/clarirs_core/src/context.rs
@@ -73,14 +73,14 @@ impl<'c> AstFactory<'c> for Context<'c> {
 }
 
 pub trait HasContext<'c> {
-    fn context(&self) -> &Context<'c>;
+    fn context(&self) -> &'c Context<'c>;
 }
 
 impl<'c, T> HasContext<'c> for Arc<T>
 where
     T: HasContext<'c>,
 {
-    fn context(&self) -> &Context<'c> {
+    fn context(&self) -> &'c Context<'c> {
         self.as_ref().context()
     }
 }