Decision #42 — `library/core/src/ptr/mod.rs:549`

Status: no_witness

Truth table

row	c0 br 215	c1 br 231	outcome
29389	T	*	T
29390	T	*	T
29391	T	*	T
29392	T	*	T
29393	T	*	T
29394	T	*	T
50244	T	*	T
50245	T	*	T
50246	T	*	T
50247	T	*	T
50248	T	*	T
50249	T	*	T
122862	T	*	T
122863	T	*	T
122864	T	*	T
122865	T	*	T
122866	T	*	T
122867	T	*	T
122868	T	*	T
122869	T	*	T
139581	T	*	T
139582	T	*	T
139583	T	*	T
139584	T	*	T
139585	T	*	T
139586	T	*	T
139587	T	*	T
139588	T	*	T

c0 (branch 215): GAP view gap →
<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, u32, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::Leaf>, alloc::collections::btree::node::marker::KV>>::remove_leaf_kv::<<alloc::collections::btree::map::entry::OccupiedEntry<u32, alloc::collections::btree::set_val::SetValZST>>::remove_kv::{closure#0}, alloc::alloc::Global> · br_if
c1 (branch 231): DEAD view gap →
<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, u32, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::Leaf>, alloc::collections::btree::node::marker::KV>>::remove_leaf_kv::<<alloc::collections::btree::map::entry::OccupiedEntry<u32, alloc::collections::btree::set_val::SetValZST>>::remove_kv::{closure#0}, alloc::alloc::Global> · br_if