Skip to content

Commit bad6527

Browse files
committed
appease clippy
1 parent 96ca816 commit bad6527

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

src/finite_function/arrow.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -227,7 +227,7 @@ where
227227
}
228228

229229
let counts = self.table.bincount(self.target.clone());
230-
counts.max().map_or(true, |m| m <= K::I::one())
230+
counts.max().is_none_or(|m| m <= K::I::one())
231231
}
232232

233233
/// Check whether `self` and `other` have disjoint images in a common codomain.

src/strict/hypergraph/arrow.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -230,7 +230,7 @@ where
230230

231231
// If any selected node is reachable in layer 1, it's not convex.
232232
let reached_selected = visited1.gather(w.table.get_range(..));
233-
!reached_selected.max().map_or(false, |m| m >= K::I::one())
233+
!reached_selected.max().is_some_and(|m| m >= K::I::one())
234234
}
235235

236236
impl<K: ArrayKind, O, A> HypergraphArrow<K, O, A>

0 commit comments

Comments
 (0)