Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #80 - RalfJung:raw, r=Amanieu
cast the entire slice to a raw pointer, not just the first element A strict reading of pointer provenance implies that when a `&T` gets cast to `*const T`, you may only use the raw pointer to access that `T`, not its neighbors. That's what Miri currently implements, though it is less strict around statics (which is why this one does not currently cause a Miri failure -- I'd like to make Miri more strict though). Cc rust-lang/unsafe-code-guidelines#134
- Loading branch information