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

This commit is contained in:
AF 2023-10-15 13:04:26 +00:00
parent 67833ca7bf
commit 32a89e4105

View File

@ -245,7 +245,7 @@ mod tests {
testing::TestContextPlain, testing::TestContextPlain,
}; };
use super::context::*; use super::{context::*, *};
type Trees = TreeContext2< type Trees = TreeContext2<
'static, 'static,
@ -259,6 +259,20 @@ mod tests {
Trees::new((DefaultComparator.into(), u64::f())) Trees::new((DefaultComparator.into(), u64::f()))
} }
fn singular_node(
trees: &BalancedTrees<Trees>,
) -> Node<'static, TestContextPlain, AtomicObject<u64>> {
trees
.try_join(trees.empty(), 0.into(), trees.empty())
.unwrap()
}
fn singular_tree(
trees: &BalancedTrees<Trees>,
) -> Tree<'static, TestContextPlain, AtomicObject<u64>> {
trees.tree_of(singular_node(trees)).unwrap()
}
#[test] #[test]
fn empty_has_height_0() { fn empty_has_height_0() {
let trees = new_trees(); let trees = new_trees();
@ -275,16 +289,19 @@ mod tests {
#[test] #[test]
fn one_has_height_1() { fn one_has_height_1() {
let trees = BalancedTrees::new(new_trees()); let trees = BalancedTrees::new(new_trees());
let tree = trees.empty(); assert_eq!(trees.height(&singular_tree(&trees)), 1);
let tree = trees.clone().add_tree(tree, 0.into()).unwrap();
assert_eq!(trees.height(&tree), 1);
} }
#[test] #[test]
fn can_refer_to_singular() { fn can_refer_to_singular() {
let trees = BalancedTrees::new(new_trees()); let trees = BalancedTrees::new(new_trees());
let tree = trees.empty(); assert!(trees.refer(&singular_tree(&trees)).is_some());
let tree = trees.clone().add_tree(tree, 0.into()).unwrap(); }
assert!(trees.refer(&tree).is_some());
#[test]
fn reference_equal_to_itself() {
let trees = BalancedTrees::new(new_trees());
let reference = trees.refer(&singular_tree(&trees)).unwrap();
assert!(trees.equal(&reference, &reference));
} }
} }