This isn’t correct. Just because Rust has aliasing rules doesn’t mean they’re the same sorts of rules. C and C++ are also looking to adopt more formal provenan

This isn’t correct. Just because Rust has aliasing rules doesn’t mean they’re the same sorts of rules. C and C++ are also looking to adopt more formal provenance rules.