Apply suggestions from code review

Co-authored-by: Paolo Tranquilli <[email protected]>

Author: aibaars

rust/extractor/src/translate/base.rs

@@ -43,13 +43,13 @@ macro_rules! pre_emit {
 }
 impl From<crate::trap::Label<generated::AssocItem>> for crate::trap::Label<generated::Item> {
     fn from(value: crate::trap::Label<generated::AssocItem>) -> Self {
-        // SAFETY: this is safe because in the dbscheme Item is a subclass of Stmt
+        // SAFETY: this is safe because every concrete instance of `@assoc_item` is also an instance of `@item`
         unsafe { Self::from_untyped(value.as_untyped()) }
     }
 }
 impl From<crate::trap::Label<generated::ExternItem>> for crate::trap::Label<generated::Item> {
     fn from(value: crate::trap::Label<generated::ExternItem>) -> Self {
-        // SAFETY: this is safe because in the dbscheme Item is a subclass of Stmt
+        // SAFETY: this is safe because every concrete instance of `@extern_item` is also an instance of `@item`
         unsafe { Self::from_untyped(value.as_untyped()) }
     }
 }