diff options
| author | Henrik Tjäder <henrik@tjaders.com> | 2023-03-04 01:06:46 +0100 |
|---|---|---|
| committer | Henrik Tjäder <henrik@tjaders.com> | 2023-03-04 01:06:46 +0100 |
| commit | 5dc2c1d351d75d150d671994b1c67b2c0f9d16a0 (patch) | |
| tree | b5c12396dda0b98fa6d363d268c294a08c2f6c39 /rtic-common/src/wait_queue.rs | |
| parent | 6ff9763a440169d74d49bd14be3a51a86cdd454b (diff) | |
rtic-common: Fix safety section formatting
Diffstat (limited to 'rtic-common/src/wait_queue.rs')
| -rw-r--r-- | rtic-common/src/wait_queue.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/rtic-common/src/wait_queue.rs b/rtic-common/src/wait_queue.rs index 7387a98..b1aa775 100644 --- a/rtic-common/src/wait_queue.rs +++ b/rtic-common/src/wait_queue.rs @@ -69,7 +69,9 @@ impl<T: Clone> LinkedList<T> { /// Put an element at the back of the queue. /// - /// SAFETY: The link must live until it is removed from the queue. + /// # Safety + /// + /// The link must live until it is removed from the queue. pub unsafe fn push(&self, link: Pin<&Link<T>>) { cs::with(|_| { // Make sure all previous writes are visible |