Is Saturating<T> guaranteed to have the same layout and ABI as T?

I doubt that's part of the public API then. At best it's like using unsafe package in Java for instance. Not forbidden but prone to occasional breakage, and it's all on you to keep compatibility.