Skip to content

Commit f84f500

Browse files
rcseacordfelix91gr
andauthored
Update src/coding-guidelines/values/gui_uyp3mCj77FS8.rst.inc
Co-authored-by: Félix Fischer <felix91gr@users.noreply.github.com>
1 parent e9efabf commit f84f500

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

src/coding-guidelines/values/gui_uyp3mCj77FS8.rst.inc

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -96,7 +96,8 @@
9696
This noncompliant example creates a pointer from uninitialized memory.
9797

9898
Not all bit patterns are valid pointers for all operations (e.g., provenance rules) :cite:`gui_uyp3mCj77FS8:UCG-VALIDITY`.
99-
Even a raw pointer type (e.g., ``*const T``) has validity rules :cite:`gui_uyp3mCj77FS8:RUST-REF-BEHAVIOR`.
99+
100+
As can be seen here, even the raw pointer type (``*const T``) has validity rules :cite:`gui_uyp3mCj77FS8:RUST-REF-BEHAVIOR`.
100101

101102
.. rust-example::
102103
:miri: expect_ub

0 commit comments

Comments
 (0)