Automatically add GetTypeRegistration in Reflect derive

Author: MrGVSV

crates/bevy_reflect/bevy_reflect_derive/src/derive_data.rs

@@ -390,7 +390,7 @@ impl<'a> ReflectStruct<'a> {
         let bevy_reflect_path = &self.meta().bevy_reflect_path;
         WhereClauseOptions {
             active_types: self.active_types().into(),
-            active_trait_bounds: quote! { #bevy_reflect_path::Reflect },
+            active_trait_bounds: quote! { #bevy_reflect_path::Reflect + #bevy_reflect_path::GetTypeRegistration },
             ignored_types: self.ignored_types().into(),
             ignored_trait_bounds: quote! { #FQAny + #FQSend + #FQSync },
         }
@@ -468,7 +468,7 @@ impl<'a> ReflectEnum<'a> {
         let bevy_reflect_path = &self.meta().bevy_reflect_path;
         WhereClauseOptions {
             active_types: self.active_types().into(),
-            active_trait_bounds: quote! { #bevy_reflect_path::FromReflect },
+            active_trait_bounds: quote! { #bevy_reflect_path::FromReflect + #bevy_reflect_path::GetTypeRegistration },
             ignored_types: self.ignored_types().into(),
             ignored_trait_bounds: quote! { #FQAny + #FQSend + #FQSync + #FQDefault },
         }

crates/bevy_reflect/bevy_reflect_derive/src/from_reflect.rs

@@ -56,7 +56,7 @@ pub(crate) fn impl_enum(reflect_enum: &ReflectEnum) -> TokenStream {
         &WhereClauseOptions {
             active_types: reflect_enum.active_types().into_boxed_slice(),
             ignored_types: reflect_enum.ignored_types().into_boxed_slice(),
-            active_trait_bounds: quote!(#bevy_reflect_path::FromReflect),
+            active_trait_bounds: quote!(#bevy_reflect_path::FromReflect + #bevy_reflect_path::GetTypeRegistration),
             ignored_trait_bounds: quote!(#FQDefault),
         },
     );
@@ -137,7 +137,7 @@ fn impl_struct_internal(reflect_struct: &ReflectStruct, is_tuple: bool) -> Token
         &WhereClauseOptions {
             active_types: reflect_struct.active_types().into_boxed_slice(),
             ignored_types: reflect_struct.ignored_types().into_boxed_slice(),
-            active_trait_bounds: quote!(#bevy_reflect_path::FromReflect),
+            active_trait_bounds: quote!(#bevy_reflect_path::FromReflect + #bevy_reflect_path::GetTypeRegistration),
             ignored_trait_bounds: if is_defaultable {
                 quote!()
             } else {

crates/bevy_reflect/src/enums/mod.rs

@@ -316,7 +316,7 @@ mod tests {
     #[test]
     fn enum_should_allow_generics() {
         #[derive(Reflect, Debug, PartialEq)]
-        enum TestEnum<T: FromReflect + GetTypeRegistration> {
+        enum TestEnum<T: FromReflect> {
             A,
             B(T),
             C { value: T },

crates/bevy_reflect/src/lib.rs

@@ -1233,7 +1233,7 @@ mod tests {
 
         // Struct (generic)
         #[derive(Reflect)]
-        struct MyGenericStruct<T: Reflect + GetTypeRegistration> {
+        struct MyGenericStruct<T> {
             foo: T,
             bar: usize,
         }

examples/reflection/generic_reflection.rs

@@ -1,7 +1,6 @@
 //! Demonstrates how reflection is used with generic Rust types.
 
 use bevy::prelude::*;
-use bevy::reflect::GetTypeRegistration;
 use std::any::TypeId;
 
 fn main() {
@@ -13,8 +12,10 @@ fn main() {
         .run();
 }
 
+/// The `#[derive(Reflect)]` macro will automatically add any required bounds to `T`,
+/// such as `Reflect` and `GetTypeRegistration`.
 #[derive(Reflect)]
-struct MyType<T: Reflect + GetTypeRegistration> {
+struct MyType<T> {
     value: T,
 }