Decision #540 — library/alloc/src/vec/mod.rs:1873

Status: no_witness

Truth table

rowc0 br 3786c1 br 3789c2 br 3790outcome
1194F**F
1195F**F
8154F**F
8155F**F
14955F**F
14956F**F
21696F**F
24439F**F
27082F**F
30662F**F
51517F**F
72441F**F
82324F**F
92047F**F
92048F**F
92049F**F
99876F**F
99877F**F
99878F**F
108365F**F
108366F**F
108367F**F
116391F**F
116392F**F
116393F**F
124399F**F
141118F**F
158402F**F
158403F**F
158404F**F
158405F**F
158406F**F
158407F**F
168260F**F
168261F**F
168262F**F
168263F**F
168264F**F
168265F**F
176550F**F
176551F**F
176552F**F
181201F**F
184520F**F
187628F**F
191165F**F
196524F**F
196525F**F
196526F**F
203288F**F
207838F**F
207839F**F
215658F**F
224123F**F
301500F**F
377081F**F
379738F**F
382622F**F

Independent-effect pairs

All 3 conditions live in scry_analyze_core::stamp_obligation_ids — 3 br_if