The following is a list of behavior which is forbidden in all Rust code, including within
unsafe blocks and
unsafe functions. Type checking provides the guarantee that these issues are never caused by safe code.
&Tfollow LLVM’s scoped noalias model, except if the
UnsafeCell<U>. Unsafe code must not violate these aliasing guarantees.
letbinding), unless that data is contained within an
offsetintrinsic), with the exception of one byte past the end which is permitted.
memcpy64intrinsics) on overlapping buffers
true(1) in a
enumnot included in the type definition
charwhich is a surrogate or above
© 2010 The Rust Project Developers
Licensed under the Apache License, Version 2.0 or the MIT license, at your option.