Decision #23 — library/core/src/ptr/mod.rs:640
Status: no_witness
Truth table
| row | c0 br 125 | c1 br 126 | c2 br 128 | c3 br 129 | outcome |
|---|---|---|---|---|---|
| 29357 | F | * | * | * | T |
| 29358 | T | * | * | * | T |
| 29359 | T | * | * | * | T |
| 29360 | T | * | * | * | T |
| 29361 | T | * | * | * | T |
| 29362 | T | * | * | * | T |
| 29363 | T | * | * | * | T |
| 29364 | T | * | * | * | T |
| 29365 | T | * | * | * | T |
| 29366 | T | * | * | * | T |
| 29367 | F | * | * | * | T |
| 50212 | F | * | * | * | T |
| 50213 | T | * | * | * | T |
| 50214 | T | * | * | * | T |
| 50215 | T | * | * | * | T |
| 50216 | T | * | * | * | T |
| 50217 | T | * | * | * | T |
| 50218 | T | * | * | * | T |
| 50219 | T | * | * | * | T |
| 50220 | T | * | * | * | T |
| 50221 | T | * | * | * | T |
| 50222 | F | * | * | * | T |
| 70926 | F | * | * | * | T |
| 70927 | T | * | * | * | T |
| 70928 | T | * | * | * | T |
| 70929 | T | * | * | * | T |
| 70930 | T | * | * | * | T |
| 70931 | T | * | * | * | T |
| 70932 | T | * | * | * | T |
| 70933 | T | * | * | * | T |
| 70934 | T | * | * | * | T |
| 70935 | T | * | * | * | T |
| 70936 | T | * | * | * | T |
| 70937 | F | * | * | * | T |
| 80809 | F | * | * | * | T |
| 80810 | T | * | * | * | T |
| 80811 | T | * | * | * | T |
| 80812 | T | * | * | * | T |
| 80813 | T | * | * | * | T |
| 80814 | T | * | * | * | T |
| 80815 | T | * | * | * | T |
| 80816 | T | * | * | * | T |
| 80817 | T | * | * | * | T |
| 80818 | T | * | * | * | T |
| 80819 | T | * | * | * | T |
| 80820 | F | * | * | * | T |
| 122822 | F | * | * | * | T |
| 122823 | T | * | * | * | T |
| 122824 | T | * | * | * | T |
| 122825 | T | * | * | * | T |
| 122826 | T | * | * | * | T |
| 122827 | T | * | * | * | T |
| 122828 | T | * | * | * | T |
| 122829 | T | * | * | * | T |
| 122830 | T | * | * | * | T |
| 122831 | T | * | * | * | T |
| 122832 | T | * | * | * | T |
| 122833 | T | * | * | * | T |
| 122834 | F | * | * | * | T |
| 139541 | F | * | * | * | T |
| 139542 | T | * | * | * | T |
| 139543 | T | * | * | * | T |
| 139544 | T | * | * | * | T |
| 139545 | T | * | * | * | T |
| 139546 | T | * | * | * | T |
| 139547 | T | * | * | * | T |
| 139548 | T | * | * | * | T |
| 139549 | T | * | * | * | T |
| 139550 | T | * | * | * | T |
| 139551 | T | * | * | * | T |
| 139552 | T | * | * | * | T |
| 139553 | F | * | * | * | T |
| 214426 | F | * | * | * | T |
| 214427 | F | * | * | * | T |
| 214428 | F | * | * | * | T |
| 214429 | F | * | * | * | T |
| 214430 | F | * | * | * | T |
| 214431 | F | * | * | * | T |
| 214432 | F | * | * | * | T |
| 214433 | F | * | * | * | T |
| 214434 | F | * | * | * | T |
| 221993 | F | * | * | * | T |
| 221994 | T | * | * | * | T |
| 221995 | T | * | * | * | T |
| 221996 | T | * | * | * | T |
| 221997 | T | * | * | * | T |
| 221998 | T | * | * | * | T |
| 221999 | T | * | * | * | T |
| 222000 | T | * | * | * | T |
| 222001 | T | * | * | * | T |
| 222002 | T | * | * | * | T |
| 222003 | T | * | * | * | T |
| 222004 | F | * | * | * | T |
| 299370 | F | * | * | * | T |
| 299371 | T | * | * | * | T |
| 299372 | T | * | * | * | T |
| 299373 | T | * | * | * | T |
| 299374 | T | * | * | * | T |
| 299375 | T | * | * | * | T |
| 299376 | T | * | * | * | T |
| 299377 | T | * | * | * | T |
| 299378 | T | * | * | * | T |
| 299379 | T | * | * | * | T |
| 299380 | T | * | * | * | T |
| 299381 | F | * | * | * | T |
Independent-effect pairs
c0(branch125): GAP view gap →alloc::str::join_generic_copy::<str, u8, alloc::string::String>· br_ifc1(branch126): DEAD view gap →alloc::str::join_generic_copy::<str, u8, alloc::string::String>· br_ifc2(branch128): DEAD view gap →alloc::str::join_generic_copy::<str, u8, alloc::string::String>· br_if
inlined: library/alloc/src/collections/btree/node.rs:1433c3(branch129): DEAD view gap →alloc::str::join_generic_copy::<str, u8, alloc::string::String>· br_if
inlined: library/alloc/src/collections/btree/node.rs:1433