diff --git a/aiger/src/import.rs b/aiger/src/import.rs
index d3290d5..0ad634f 100644
--- a/aiger/src/import.rs
+++ b/aiger/src/import.rs
@@ -27,7 +27,6 @@ pub type AigerLit = Lit;
 /// numbering.
 ///
 /// Note that this is a type alias and thus does not provide any type checking.
-
 pub type AigerVar = Var;
 
 /// Partial mapping of AIGER variables to existing literals.
diff --git a/ids/src/id.rs b/ids/src/id.rs
index a4435f6..6743752 100644
--- a/ids/src/id.rs
+++ b/ids/src/id.rs
@@ -5,7 +5,6 @@ mod primitive_impls;
 mod u8_range_types;
 
 #[allow(unused_imports)] // docs
-
 /// Used to construct constant values from an index.
 ///
 /// Together with [`Id::FromConstIdIndex`], this works around the lack of support for `const fn` in
diff --git a/ids/tests/test_id.rs b/ids/tests/test_id.rs
index ff52ea2..6df140f 100644
--- a/ids/tests/test_id.rs
+++ b/ids/tests/test_id.rs
@@ -1,3 +1,4 @@
+#![allow(missing_docs)] // test only
 use imctk_ids::*;
 
 use std::{hash::BuildHasher, marker::PhantomData};
diff --git a/ir/src/env/multimap.rs b/ir/src/env/multimap.rs
index e592d35..0cc31bd 100644
--- a/ir/src/env/multimap.rs
+++ b/ir/src/env/multimap.rs
@@ -115,7 +115,7 @@ impl<T> LitMultimap<T> {
     pub fn lit_entries<'a>(
         &'a self,
         lit: Lit,
-    ) -> impl Iterator<Item = <&'a T as BitXor<Pol>>::Output> + '_
+    ) -> impl Iterator<Item = <&'a T as BitXor<Pol>>::Output> + 'a
     where
         &'a T: BitXor<Pol>,
     {
diff --git a/ir/src/env/rebuild_egraph.rs b/ir/src/env/rebuild_egraph.rs
index 2f630ca..c8d2ac5 100644
--- a/ir/src/env/rebuild_egraph.rs
+++ b/ir/src/env/rebuild_egraph.rs
@@ -6,7 +6,6 @@ impl Env {
     /// Note that using [`Env::raw_nodes`] it may be possible to violate the egraph invariants in
     /// ways that this method cannot repair. This does not happen when using the envrionment's
     /// [`NodeBuilder`] methods.
-
     pub fn rebuild_egraph(&mut self) {
         let mut node_ids = vec![];
 
diff --git a/table_seq/src/table_seq.rs b/table_seq/src/table_seq.rs
index 01a0260..c28f781 100644
--- a/table_seq/src/table_seq.rs
+++ b/table_seq/src/table_seq.rs
@@ -37,7 +37,6 @@ pub use owned::OwnedSubtable;
 /// `HashTable`-level methods that operate on an individual subtable instead of the collection of
 /// all subtables. For methods that operate on all entries of all subtables we include `flat` suffix
 /// or prefix.
-
 pub struct TableSeq<T> {
     _phantom: PhantomData<T>,
     allocators: Vec<NodeAllocator<T>>,
diff --git a/table_seq/tests/test.rs b/table_seq/tests/test.rs
index 5060bd2..e8e3adf 100644
--- a/table_seq/tests/test.rs
+++ b/table_seq/tests/test.rs
@@ -1,3 +1,4 @@
+#![allow(missing_docs)] // test only
 use std::{
     fmt::Debug,
     hash::{BuildHasher, BuildHasherDefault, Hash},