Decision #631 — library/core/src/fmt/builders.rs:787

Status: no_witness

Truth table

rowc0 br 4705c1 br 4706c2 br 4709c3 br 4710outcome
1195**TTT
1196**TTT
4235**TTT
4236**TTT
7184**TTT
7185**TTT
9823**TTT
9824**TTT
10971**TTT
10972**TTT
12062**TTT
12063**TTT
18205**TTT
18206**TTT
25923**TTT
25924**TTT
31649**TTT
31650**TTT
37587**TTT
37588**TTT
41184**TTT
41185**TTT
44197**TTT
44198**TTT
47649**TTT
47650**TTT
50724**TTT
50725**TTT
59664**TTT
59665**TTT
69436**TTT
69437**TTT
73635**TTT
73636**TTT
77110**TTT
77111**TTT
79606**TTT
79607**TTT
81036**TTT
81037**TTT
82223**TTT
82224**TTT
83285**TTT
83286**TTT
84561**TTT
84562**TTT
86411**TTT
86412**TTT
87892**TTT
87893**TTT
89750**TTT
89751**TTT
91295**TTT
91296**TTT
107332**TTT
107333**TTT
126195**TTT
126196**TTT
130226**TTT
130227**TTT
131401**TTT
131402**TTT
132728**TTT
132729**TTT

Independent-effect pairs