File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change 11## Behavior considered undefined
22
33Rust code is incorrect if it exhibits any of the behaviors in the following
4- list. This includes code within ` unsafe ` blocks and ` unsafe ` functions!
4+ list. This includes code within ` unsafe ` blocks and ` unsafe ` functions.
55` unsafe ` is not an excuse to cause undefined behavior.
66
7- It is the programmer's responsibility when writing ` unsafe ` code that it is not
7+ It is the programmer's responsibility when writing ` unsafe ` code to ensure that it is not
88possible to let ` safe ` code exhibit these behaviors. ` unsafe ` code that
9- satisfies this property for any ` safe ` client is called * sound* ; if ` unsafe `
10- code can be misused by ` safe ` code to exhibit undefined behavior, it is
9+ satisfies this property for any safe client is called * sound* ; if ` unsafe `
10+ code can be misused by safe code to exhibit undefined behavior, it is
1111* unsound* .
1212
1313<div class =" warning " >
You can’t perform that action at this time.
0 commit comments