Decision #1335 — `library/core/src/ptr/mod.rs:1733`

Status: unreached

Truth table

row	c0 br 140	c1 br 141	c2 br 142	outcome

c0 (branch 140): DEAD view gap →
<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, usize, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::Leaf>, alloc::collections::btree::node::marker::Edge>>::insert::<alloc::alloc::Global> · br_table_target
inlined: library/alloc/src/collections/btree/mem.rs:26
c1 (branch 141): DEAD view gap →
<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, usize, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::Leaf>, alloc::collections::btree::node::marker::Edge>>::insert::<alloc::alloc::Global> · br_table_target
inlined: library/alloc/src/collections/btree/mem.rs:26
c2 (branch 142): DEAD view gap →
<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, usize, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::Leaf>, alloc::collections::btree::node::marker::Edge>>::insert::<alloc::alloc::Global> · br_table_default
inlined: library/alloc/src/collections/btree/mem.rs:26