For the record, Rust does have a "not noalias" builtin magic type in the standard library: UnsafeCell.
https://doc.rust-lang.org/stable/std/cell/struct.UnsafeCell....
https://doc.rust-lang.org/stable/std/cell/struct.UnsafeCell....
Meanwhile, there is a magic "not noalias" mechanism currently recognized by Miri, in the form of !Unpin types. But this is considered a temporary hack to keep it from complaining about pinned futures that reference their own fields, in the absence of an actual language feature. Also, it only applies to accessing values through unique references, not to moving or writing to them by their binding.