#331 introduced code for a new `raw_eq` intrinsic but also future work for it. We should do layout comparison and previous failure check (soundness).