diff --git a/rust/src/datatype/mod.rs b/rust/src/datatype/mod.rs
index acc3b0d..290c812 100644
--- a/rust/src/datatype/mod.rs
+++ b/rust/src/datatype/mod.rs
@@ -20,7 +20,6 @@ pub use abstract_domain::*;
 pub use abstract_environment::*;
 pub use abstract_partition::*;
 pub use bitvec::*;
-pub use hash_set_impl::*;
 pub use lifted_domain::*;
 pub use patricia_tree_map::*;
 pub use patricia_tree_set::*;
diff --git a/rust/src/datatype/patricia_tree_impl.rs b/rust/src/datatype/patricia_tree_impl.rs
index 1831a13..ea439b3 100644
--- a/rust/src/datatype/patricia_tree_impl.rs
+++ b/rust/src/datatype/patricia_tree_impl.rs
@@ -799,7 +799,7 @@ impl<V> PatriciaTree<V> {
         self.update_by_key(key, |_| None);
     }
 
-    pub(crate) fn iter(&self) -> PatriciaTreePostOrderIterator<V> {
+    pub(crate) fn iter(&self) -> PatriciaTreePostOrderIterator<'_, V> {
         PatriciaTreePostOrderIterator::<V>::from_tree(self)
     }
 
diff --git a/rust/src/graph.rs b/rust/src/graph.rs
index f0b6fac..3830935 100644
--- a/rust/src/graph.rs
+++ b/rust/src/graph.rs
@@ -96,7 +96,7 @@ pub trait ReverseGraph<const S: usize = DEFAULT_GRAPH_SUCCS_NUM> {
     type G: Graph<S>;
 
     /// Reversed graph.
-    fn rev(&self) -> ReversedRefGraph<Self::G, S>;
+    fn rev(&self) -> ReversedRefGraph<'_, Self::G, S>;
 
     /// Reversed graph that consumes the original graph.
     fn into_rev(self) -> ReversedIntoGraph<Self::G, S>;
@@ -109,7 +109,7 @@ pub trait ReverseGraph<const S: usize = DEFAULT_GRAPH_SUCCS_NUM> {
 impl<const S: usize, T: Graph<S>> ReverseGraph<S> for T {
     type G = T;
 
-    fn rev(&self) -> ReversedRefGraph<T, S> {
+    fn rev(&self) -> ReversedRefGraph<'_, T, S> {
         ReversedGraph {
             graph: self,
             phantom: PhantomData,