feat(core): add generic parameter `C` to `StructuralData` trait

Make `StructuralData` and `StructuralDataSealed` generic over a program
collector type to bypass the orphan rule for `group_structural!`. This
enables external types to implement `StructuralData<crate::ThisProgram>`
without violating coherence.

1 files changed, 6 insertions, 6 deletions

diff --git a/mingling_macros/src/systems/structural_data.rs b/mingling_macros/src/systems/structural_data.rs
index 74bcf09..0a783ec 100644
--- a/mingling_macros/src/systems/structural_data.rs
+++ b/mingling_macros/src/systems/structural_data.rs
@@ -29,8 +29,8 @@ pub(crate) fn derive_structural_data(input: TokenStream) -> TokenStream {
     // Users cannot implement StructuralDataSealed manually (it's #[doc(hidden)]),
     // so the only way to get StructuralData is through this derive macro.
     let expanded = quote! {
-        impl ::mingling::__private::StructuralDataSealed for #type_name {}
-        impl ::mingling::__private::StructuralData for #type_name {}
+        impl ::mingling::__private::StructuralDataSealed<crate::ThisProgram> for #type_name {}
+        impl ::mingling::__private::StructuralData<crate::ThisProgram> for #type_name {}
     };
 
     expanded.into()
@@ -149,8 +149,8 @@ pub(crate) fn pack_structural(input: TokenStream) -> TokenStream {
 
     // StructuralData impl + sealed + registration
     let structural_impl = quote! {
-        impl ::mingling::__private::StructuralDataSealed for #type_name {}
-        impl ::mingling::__private::StructuralData for #type_name {}
+        impl ::mingling::__private::StructuralDataSealed<crate::ThisProgram> for #type_name {}
+        impl ::mingling::__private::StructuralData<crate::ThisProgram> for #type_name {}
     };
 
     let expanded = quote! {
@@ -303,8 +303,8 @@ pub(crate) fn group_structural(input: TokenStream) -> TokenStream {
                 }
             }
 
-            impl ::mingling::__private::StructuralDataSealed for #type_name {}
-            impl ::mingling::__private::StructuralData for #type_name {}
+            impl ::mingling::__private::StructuralDataSealed<crate::ThisProgram> for #type_name {}
+            impl ::mingling::__private::StructuralData<crate::ThisProgram> for #type_name {}
 
             ::mingling::macros::register_type!(#type_name);
         }