#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).