Fix new clippy lints, no functional change

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.

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

ids/tests/test_id.rs

@@ -1,3 +1,4 @@
+#![allow(missing_docs)] // test only
 use imctk_ids::*;
 
 use std::{hash::BuildHasher, marker::PhantomData};

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>,
     {

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![];
 

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>>,

table_seq/tests/test.rs

@@ -1,3 +1,4 @@
+#![allow(missing_docs)] // test only
 use std::{
     fmt::Debug,
     hash::{BuildHasher, BuildHasherDefault, Hash},