cannot_refer_to_empty
All checks were successful
buildbot/cargo fmt (1.72) Build done.
buildbot/cargo clippy (1.65) Build done.
buildbot/cargo doc (1.72) Build done.
buildbot/cargo clippy (1.72) Build done.
buildbot/cargo test (1.65) Build done.

This commit is contained in:
AF 2023-10-15 12:52:49 +00:00
parent edbff39ae2
commit b1cdb4f3fb

View File

@ -265,6 +265,13 @@ mod tests {
assert_eq!(trees.height(&trees.empty()), 0);
}
#[test]
fn cannot_refer_to_empty() {
let trees = BalancedTrees::new(new_trees());
let tree = trees.empty();
assert!(trees.refer(&tree).is_none());
}
#[test]
fn one_has_height_1() {
let trees = BalancedTrees::new(new_trees());