Skip to content

Commit a09d483

Browse files
committed
Drop sentence about UB of how to violate the Rust runtime
I felt like this sentence is making an over-bold statement. There are ways to violate the assumptions of the Rust runtime using Rust code. Usually that is only with `unsafe` code that is otherwise violating requirements, though there may still be some holes where it can be done in safe code (hopefully those holes continue to be plugged). I feel more comfortable without this, since the primary sentence (don't violate the runtime!) is enough on its own.
1 parent 281d8f1 commit a09d483

File tree

1 file changed

+2
-3
lines changed

1 file changed

+2
-3
lines changed

src/behavior-considered-undefined.md

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -99,9 +99,8 @@ r[undefined.const-transmute-ptr2int]
9999
cast, e.g. by doing raw pointer casts or using a union.
100100

101101
r[undefined.runtime]
102-
* Violating assumptions of the Rust runtime. This is only possible using
103-
mechanisms outside Rust. Most assumptions of the Rust runtime are currently
104-
not explicitly documented.
102+
* Violating assumptions of the Rust runtime. Most assumptions of the Rust
103+
runtime are currently not explicitly documented.
105104
* For assumptions specifically related to unwinding, see the [panic
106105
documentation][unwinding-ffi].
107106
* The runtime assumes that a Rust stack frame is not deallocated without

0 commit comments

Comments
 (0)