From: Bennet Bleßmann <bb-github@t-online.de>
Date: Sat, 6 Jul 2024 11:06:24 +0000 (+0200)
Subject: fix saftey comment
X-Git-Tag: v0.10.0~127^2~27
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=9e7d41025ae73e7c75a2c1bdf4e92a1049f39abb;p=scryer-prolog.git

fix saftey comment
---

diff --git a/src/types.rs b/src/types.rs
index c83fb483..2872f541 100644
--- a/src/types.rs
+++ b/src/types.rs
@@ -188,7 +188,7 @@ pub enum TrailRef {
     BlackboardOffset(Atom, HeapCellValue), // key atom, key value
 }
 
-#[allow(clippy::enum_variant_names)]
+#[allow(clippy::enum_variant_names)] // allow the common "Trailed" prefix
 #[derive(BitfieldSpecifier, Copy, Clone, Debug, PartialEq, Eq, PartialOrd, Ord)]
 #[bits = 6]
 pub(crate) enum TrailEntryTag {
@@ -705,7 +705,7 @@ impl UntypedArenaPtr {
         unsafe { self.get_ptr().add(mem::size_of::<ArenaHeader>()) }
     }
 
-    /// Safety
+    /// # Safety
     /// - this UntypedArenaPtr actuall pointee type is T
     #[inline]
     pub unsafe fn as_typed_ptr<T: ArenaAllocated>(self) -> TypedArenaPtr<T> {