Decision #732 — library/core/src/option.rs:1365
Status: unreached
Truth table
| row | c0 br 4738 | c1 br 4739 | outcome |
|---|
Independent-effect pairs
c0(branch4738): DEAD view gap →<[u32]>::contains· br_ifc1(branch4739): DEAD view gap →<[u32]>::contains· br_if