I think it makes unsafe code less error prone to write, but additionally it allows you to interop with C APIs that have aliasing pointers. Also, if they were r

I think it makes unsafe code less error prone to write, but additionally it allows you to interop with C APIs that have aliasing pointers. Also, if they were restrict, it would be UB in rust, which I think is something Rust tries to avoid where possible.