Decision #334 — library/core/src/ptr/mod.rs:552

Status: no_witness

Truth table

rowc0 br 2437c1 br 2438outcome
998FFT
4038FFT
6987FFT
9744FFT
10892FFT
11983FFT
13791FFT
21509FFT
29516FFT
35454FFT
41014FFT
41015FFT
44027FFT
44028FFT
47480FFT
50554FFT
50555FFT
53784FFT
63556FFT
73390FFT
76865FFT
79489FFT
80950FFT
82137FFT
83199FFT
84421FFT
84422FFT
86163FFT
87767FFT
87768FFT
89472FFT
91115FFT
91116FFT
93730FFT
112593FFT
130158FFT
131333FFT
132660FFT

Independent-effect pairs