former : experimenting

module/core/former/tests/inc/former_tests/parametrized_field.rs

@@ -0,0 +1,31 @@
+#![ allow( dead_code ) ]
+#[ allow( unused_imports ) ]
+use super::*;
+
+// xxx : make it working
+
+/// Parameter description.
+#[ allow( explicit_outlives_requirements ) ]
+// #[ derive( Debug, PartialEq, the_module::Former ) ]
+// #[ debug ]
+#[ derive( Debug, PartialEq ) ]
+pub struct Child< 'child, T >
+where
+  T : 'child,
+{
+  name : String,
+  arg : &'child T,
+}
+
+// == begin of generated
+
+// == end of generated
+
+// xxx : uncomment
+// #[ test ]
+// fn basic()
+// {
+//   let got = Child::< 'static, str >::former().name( "abc" ).arg( "arg1" ).end();
+//   let exp = Child::< 'static, str >{ name : "abc".into(), arg : "arg1" };
+//   a_id!( got, exp );
+// }

module/core/former/tests/inc/former_tests/subformer_subform_and_container_parametrized.rs

@@ -1,5 +1,5 @@
 #![ allow( dead_code ) ]
-
+#[ allow( unused_imports ) ]
 use super::*;
 
 // xxx : make it working

module/core/former/tests/inc/mod.rs

@@ -55,6 +55,7 @@ mod former_tests
   mod parametrized_struct_imm;
   #[ cfg( any( not( feature = "no_std" ), feature = "use_alloc" ) ) ]
   mod parametrized_struct_where;
+  mod parametrized_field;
 
   #[ cfg( any( not( feature = "no_std" ), feature = "use_alloc" ) ) ]
   mod subformer_basic;

module/core/former_meta/src/derive/former.rs

@@ -620,8 +620,8 @@ fn field_setter_map
 (
   field : &FormerField< '_ >,
   stru : &syn::Ident,
-  as_subformer : &syn::Ident,
-  as_subformer_end : &syn::Ident,
+  // as_subformer : &syn::Ident,
+  // as_subformer_end : &syn::Ident,
 )
 -> Result< TokenStream >
 {
@@ -662,7 +662,7 @@ fn field_setter_map
 
   let r = if field.attrs.subform.is_some()
   {
-    let subformer = field_subformer_map( field, stru, as_subformer, as_subformer_end )?;
+    let subformer = field_subformer_map( field, stru )?;
     qt!
     {
       #r
@@ -685,8 +685,6 @@ fn field_subformer_map
 (
   field : &FormerField< '_ >,
   stru : &syn::Ident,
-  _as_subformer : &syn::Ident,
-  _as_subformer_end : &syn::Ident,
 )
 -> Result< TokenStream >
 {
@@ -1565,7 +1563,7 @@ pub fn former( input : proc_macro::TokenStream ) -> Result< TokenStream >
     field_optional_map( former_field ),
     field_form_map( former_field ),
     field_name_map( former_field ),
-    field_setter_map( former_field, &stru, &as_subformer, &as_subformer_end ),
+    field_setter_map( former_field, &stru ),
     field_former_assign_map
     (
       former_field,
@@ -2008,8 +2006,8 @@ pub fn former( input : proc_macro::TokenStream ) -> Result< TokenStream >
     {
     }
 
-    impl< #struct_generics_impl SuperFormer, T > #as_subformer_end < #struct_generics_ty SuperFormer >
-    for T
+    impl< #struct_generics_impl SuperFormer, __T > #as_subformer_end < #struct_generics_ty SuperFormer >
+    for __T
     where
       #struct_generics_where
       Self : former::FormingEnd