feat: Change the constraint of PhantomVar on GodotType to GodotConvert

Author: LviatYi

godot-codegen/src/generator/enums.rs

@@ -153,6 +153,8 @@ pub fn make_enum_definition_with(
 
                 #var_trait_set_property
             }
+            
+            impl crate::registry::property::Export for #name {}
         }
     });
 

godot-core/src/registry/property/phantom_var.rs

@@ -10,7 +10,7 @@ use std::fmt;
 use std::hash::{Hash, Hasher};
 use std::marker::PhantomData;
 
-use crate::meta::{ClassId, GodotConvert, GodotType, PropertyHintInfo};
+use crate::meta::{ClassId, GodotConvert, PropertyHintInfo};
 use crate::registry::property::{Export, Var};
 
 /// A zero-sized type for creating a property without a backing field, accessible only through custom getter/setter functions.
@@ -55,15 +55,15 @@ use crate::registry::property::{Export, Var};
 /// This field can now be accessed from GDScript as `banner.text`.
 // Bounds for T are somewhat un-idiomatically directly on the type, rather than impls.
 // This improves error messages in IDEs when using the type as a field.
-pub struct PhantomVar<T: GodotType + Var>(PhantomData<T>);
+pub struct PhantomVar<T: GodotConvert + Var>(PhantomData<T>);
 
-impl<T: GodotType + Var> GodotConvert for PhantomVar<T> {
-    type Via = T;
+impl<T: GodotConvert + Var> GodotConvert for PhantomVar<T> {
+    type Via = <T as GodotConvert>::Via;
 }
 
 // `PhantomVar` supports only part of `Var`, but it has to implement it, otherwise we cannot implement `Export` either.
 // The `GodotClass` derive macro should ensure that the `Var` implementation is not used.
-impl<T: GodotType + Var> Var for PhantomVar<T> {
+impl<T: GodotConvert + Var> Var for PhantomVar<T> {
     fn get_property(&self) -> Self::Via {
         unreachable!("code generated by GodotClass should call the custom getter")
     }
@@ -78,7 +78,7 @@ impl<T: GodotType + Var> Var for PhantomVar<T> {
 }
 
 // Reuse values from `T`, if any.
-impl<T: GodotType + Var + Export> Export for PhantomVar<T> {
+impl<T: GodotConvert + Var + Export> Export for PhantomVar<T> {
     fn export_hint() -> PropertyHintInfo {
         <T as Export>::export_hint()
     }
@@ -88,7 +88,7 @@ impl<T: GodotType + Var + Export> Export for PhantomVar<T> {
     }
 }
 
-impl<T: GodotType + Var> Default for PhantomVar<T> {
+impl<T: GodotConvert + Var> Default for PhantomVar<T> {
     fn default() -> Self {
         Self(Default::default())
     }
@@ -97,49 +97,49 @@ impl<T: GodotType + Var> Default for PhantomVar<T> {
 // Like `PhantomData` from the Rust standard library, `PhantomVar` implements many common traits like `Eq` and `Hash`
 // to allow these traits to be derived on containing structs as well.
 
-impl<T: GodotType + Var> Clone for PhantomVar<T> {
+impl<T: GodotConvert + Var> Clone for PhantomVar<T> {
     fn clone(&self) -> Self {
         *self
     }
 }
 
-impl<T: GodotType + Var> Copy for PhantomVar<T> {}
+impl<T: GodotConvert + Var> Copy for PhantomVar<T> {}
 
-impl<T: GodotType + Var> fmt::Debug for PhantomVar<T> {
+impl<T: GodotConvert + Var> fmt::Debug for PhantomVar<T> {
     fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
         f.debug_tuple("PhantomVar").finish()
     }
 }
 
-impl<T: GodotType + Var> PartialEq for PhantomVar<T> {
+impl<T: GodotConvert + Var> PartialEq for PhantomVar<T> {
     fn eq(&self, _other: &Self) -> bool {
         true
     }
 }
 
-impl<T: GodotType + Var> Eq for PhantomVar<T> {}
+impl<T: GodotConvert + Var> Eq for PhantomVar<T> {}
 
-impl<T: GodotType + Var> PartialOrd for PhantomVar<T> {
+impl<T: GodotConvert + Var> PartialOrd for PhantomVar<T> {
     fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
         Some(self.cmp(other))
     }
 }
 
-impl<T: GodotType + Var> Ord for PhantomVar<T> {
+impl<T: GodotConvert + Var> Ord for PhantomVar<T> {
     fn cmp(&self, _other: &Self) -> Ordering {
         Ordering::Equal
     }
 }
 
-impl<T: GodotType + Var> Hash for PhantomVar<T> {
+impl<T: GodotConvert + Var> Hash for PhantomVar<T> {
     fn hash<H: Hasher>(&self, _state: &mut H) {}
 }
 
 // SAFETY: This type contains no data.
-unsafe impl<T: GodotType + Var> Send for PhantomVar<T> {}
+unsafe impl<T: GodotConvert + Var> Send for PhantomVar<T> {}
 
 // SAFETY: This type contains no data.
-unsafe impl<T: GodotType + Var> Sync for PhantomVar<T> {}
+unsafe impl<T: GodotConvert + Var> Sync for PhantomVar<T> {}
 
 /// This type exists only as a place to add `compile_fail` doctests for `PhantomVar`, which do not need to be in the public documentation.
 ///