Decision #759 — library/core/src/num/uint_macros.rs:2511

Status: no_witness

Truth table

rowc0 br 5424c1 br 5425c2 br 5428c3 br 5429c4 br 5432c5 br 5433outcome
1900FTFF**F
4937FTFF**F
7940FTFF**F

Independent-effect pairs