Decision #24 — library/core/src/ptr/mod.rs:1731
Status: no_witness
Truth table
| row | c0 br 134 | c1 br 135 | outcome |
|---|---|---|---|
| 29368 | T | * | T |
| 29369 | T | * | T |
| 29370 | T | * | T |
| 29371 | T | * | T |
| 29372 | T | * | T |
| 29373 | T | * | T |
| 29374 | T | * | T |
| 29375 | T | * | T |
| 29376 | T | * | T |
| 50223 | T | * | T |
| 50224 | T | * | T |
| 50225 | T | * | T |
| 50226 | T | * | T |
| 50227 | T | * | T |
| 50228 | T | * | T |
| 50229 | T | * | T |
| 50230 | T | * | T |
| 50231 | T | * | T |
| 70938 | T | * | T |
| 70939 | T | * | T |
| 70940 | T | * | T |
| 70941 | T | * | T |
| 70942 | T | * | T |
| 70943 | T | * | T |
| 70944 | T | * | T |
| 70945 | T | * | T |
| 70946 | T | * | T |
| 70947 | T | * | T |
| 80821 | T | * | T |
| 80822 | T | * | T |
| 80823 | T | * | T |
| 80824 | T | * | T |
| 80825 | T | * | T |
| 80826 | T | * | T |
| 80827 | T | * | T |
| 80828 | T | * | T |
| 80829 | T | * | T |
| 80830 | T | * | T |
| 122835 | T | * | T |
| 122836 | T | * | T |
| 122837 | T | * | T |
| 122838 | T | * | T |
| 122839 | T | * | T |
| 122840 | T | * | T |
| 122841 | T | * | T |
| 122842 | T | * | T |
| 122843 | T | * | T |
| 122844 | T | * | T |
| 122845 | T | * | T |
| 139554 | T | * | T |
| 139555 | T | * | T |
| 139556 | T | * | T |
| 139557 | T | * | T |
| 139558 | T | * | T |
| 139559 | T | * | T |
| 139560 | T | * | T |
| 139561 | T | * | T |
| 139562 | T | * | T |
| 139563 | T | * | T |
| 139564 | T | * | T |
| 222005 | T | * | T |
| 222006 | T | * | T |
| 222007 | T | * | T |
| 222008 | T | * | T |
| 222009 | T | * | T |
| 222010 | T | * | T |
| 222011 | T | * | T |
| 222012 | T | * | T |
| 222013 | T | * | T |
| 222014 | T | * | T |
| 299382 | T | * | T |
| 299383 | T | * | T |
| 299384 | T | * | T |
| 299385 | T | * | T |
| 299386 | T | * | T |
| 299387 | T | * | T |
| 299388 | T | * | T |
| 299389 | T | * | T |
| 299390 | T | * | T |
| 299391 | T | * | T |
Independent-effect pairs
c0(branch134): GAP view gap →alloc::str::join_generic_copy::<str, u8, alloc::string::String>· br_if
inlined: library/alloc/src/collections/btree/node.rs:1434c1(branch135): DEAD view gap →alloc::str::join_generic_copy::<str, u8, alloc::string::String>· br_if
inlined: library/alloc/src/collections/btree/node.rs:1434