Skip to content

Commit 1ef61c3

Browse files
RalfJungCentril
andauthored
Apply suggestions from code review
Co-Authored-By: Mazdak Farrokhzad <[email protected]>
1 parent 3724dab commit 1ef61c3

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

src/behavior-considered-undefined.md

+4-4
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
## Behavior considered undefined
22

33
Rust 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
88
possible 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">

0 commit comments

Comments
 (0)