We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2004fd4 commit 0090419Copy full SHA for 0090419
text/0000-safety-tags.md
@@ -138,10 +138,10 @@ LLL | unsafe { ptr::read(ptr) }
138
= NOTE: See core::ptr::invariants::Initialized
139
```
140
141
-The process of verifying whether a tag is absent is referred to as tag discharge.
+The process of verifying whether a tag is present is referred to as tag discharge.
142
143
Note that it's allowed to discharge tags of unsafe callees onto the unsafe caller for unsafe
144
-encapsulation:
+delegation or propogation:
145
146
```rust
147
#[clippy::safety { ValidPtr, Aligned, Initialized }] // ✅
0 commit comments