From 1803dd427416ef19918c0ec7d50093b6d45f29af Mon Sep 17 00:00:00 2001
From: 魏曹先生 <1992414357@qq.com>
Date: Tue, 21 Jul 2026 19:16:10 +0800
Subject: feat(any): make `Grouped` trait unsafe and encapsulate `AnyOutput`
 fields

Declare `Grouped` as `unsafe trait` to make its soundness invariant
visible.
Make `AnyOutput.type_id` and `member_id` private; add public accessors
and
the `unsafe fn new_bare` constructor.
---
 mingling_macros/src/systems/structural_data.rs | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'mingling_macros/src/systems/structural_data.rs')

diff --git a/mingling_macros/src/systems/structural_data.rs b/mingling_macros/src/systems/structural_data.rs
index 0a783ec..46d7cf8 100644
--- a/mingling_macros/src/systems/structural_data.rs
+++ b/mingling_macros/src/systems/structural_data.rs
@@ -176,7 +176,11 @@ pub(crate) fn pack_structural(input: TokenStream) -> TokenStream {
             }
         }
 
-        impl ::mingling::Grouped<#program_path> for #type_name {
+        /// SAFETY: This is an internal implementation of the `pack_structural!` macro,
+        /// guaranteeing that the enum value registered by the `register_type!` macro
+        /// is exactly the same as the actual return value,
+        /// which can be confirmed via the `Ident` in the `quote!` block.
+        unsafe impl ::mingling::Grouped<#program_path> for #type_name {
             fn member_id() -> #program_path {
                 #program_path::#type_name
             }
@@ -297,7 +301,11 @@ pub(crate) fn group_structural(input: TokenStream) -> TokenStream {
             #type_use
             #alias_use
 
-            impl ::mingling::Grouped<__MinglingProgram> for #type_name {
+            /// SAFETY: This is an internal implementation of the `pack_structural!` macro,
+            /// guaranteeing that the enum value registered by the `register_type!` macro
+            /// is exactly the same as the actual return value,
+            /// which can be confirmed via the `Ident` in the `quote!` block.
+            unsafe impl ::mingling::Grouped<__MinglingProgram> for #type_name {
                 fn member_id() -> __MinglingProgram {
                     __MinglingProgram::#type_name
                 }
-- 
cgit