shardtree: Justify `unwraps` due to upheld pre-conditions

2024-11-23 00:54:32 +00:00 · 2024-11-23 00:54:32 +00:00 · 1e81f3ca45
parent 74410d059f
commit 1e81f3ca45
1 changed files with 2 additions and 1 deletions
--- a/shardtree/src/lib.rs
+++ b/shardtree/src/lib.rs
@ -1162,7 +1162,8 @@ impl<
            cur_addr = cur_addr.parent();
        }

-        Ok(MerklePath::from_parts(witness, position).unwrap())
+        Ok(MerklePath::from_parts(witness, position)
+            .expect("witness has length DEPTH because we extended it to the root"))
    }

    fn witness_internal(