Merge branch 'newsch:master' into master

cfvescovo · cfvescovo · commit 74ee6ec6374e · 2024-08-23T00:54:03.000+02:00
diff --git a/src/lib.rs b/src/lib.rs
@@ -207,6 +207,8 @@ impl<T> Tree<T> {
     }
 
     /// Merge with another tree as orphan, returning the new root of tree being merged.
+    // Allowing this for compactness.
+    #[allow(clippy::option_map_unit_fn)]
     pub fn extend_tree(&mut self, mut other_tree: Tree<T>) -> NodeMut<T> {
         let offset = self.vec.len();
         let offset_id = |id: NodeId| -> NodeId {

Original file line number	Diff line number	Diff line change
`@@ -207,6 +207,8 @@ impl<T> Tree<T> {`
`207`	`207`	`}`
`208`	`208`
`209`	`209`	`/// Merge with another tree as orphan, returning the new root of tree being merged.`
	`210`	`+ // Allowing this for compactness.`
	`211`	`+ #[allow(clippy::option_map_unit_fn)]`
`210`	`212`	`pub fn extend_tree(&mut self, mut other_tree: Tree<T>) -> NodeMut<T> {`
`211`	`213`	`let offset = self.vec.len();`
`212`	`214`	`let offset_id = \|id: NodeId\| -> NodeId {`