Decision #749 — library/core/src/result.rs:2173

Status: no_witness

Truth table

rowc0 br 5361c1 br 5363c2 br 5373c3 br 5374outcome
1897*T**T
1898*T**T
4934*T**T
4935*T**T
7937*T**T
7938*T**T
10100*T**T
11245*T**T
12339*T**T
18655*T**T
26370*T**T
32235*T**T
38173*T**T
41754*T**T
41755*T**T
44803*T**T
44804*T**T
48245*T**T
48246*T**T
51294*T**T
51295*T**T
60132*T**T
69904*T**T
74389*T**T
77864*T**T
79998*T**T
81323*T**T
82507*T**T
83572*T**T
84825*T**T
86805*T**T
88153*T**T
90086*T**T
91581*T**T
107946*T**T
126809*T**T
130487*T**T
131674*T**T
132998*T**T

Independent-effect pairs

All 4 conditions live in <wasmparser::readers::core::types::RecGroup as wasmparser::readers::FromReader>::from_reader — 4 br_if