macro_tools 0.85.0

Tools for writing procedural macroses.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68

//! Test for trailing comma issue fix in `generic_params ::decompose`

use macro_tools ::generic_params;
use quote ::quote;
use syn ::parse_quote;

#[ test ]
fn test_trailing_comma_issue_mre() 
{
  // Test case 1 : Simple lifetime parameter
  let generics: syn ::Generics = parse_quote! { < 'a > };
  let (_, impl_gen, ty_gen, _) = generic_params ::decompose(&generics);
  
  // Generate code using the decomposed generics
  let impl_code = quote! { impl< #impl_gen > MyTrait for MyStruct };
  let type_code = quote! { MyStruct< #ty_gen > };
  
  println!("Test 1 - Single lifetime: ");
  println!("  impl_gen: {}", quote! { #impl_gen });
  println!("  ty_gen: {}", quote! { #ty_gen });
  println!("  Generated impl: {impl_code}");
  println!("  Generated type: {type_code}");
  
  // Check if trailing commas exist (they shouldn't)
  assert!(!impl_gen.trailing_punct(), "impl_gen should not have trailing comma");
  assert!(!ty_gen.trailing_punct(), "ty_gen should not have trailing comma");
  
  // Test case 2 : Multiple generic parameters
  let generics: syn ::Generics = parse_quote! { < 'a, T: Clone, const N: usize > };
  let (_, impl_gen, ty_gen, _) = generic_params ::decompose(&generics);
  
  let impl_code = quote! { impl< #impl_gen > MyTrait for MyStruct };
  let type_code = quote! { MyStruct< #ty_gen > };
  
  println!("\nTest 2 - Multiple parameters: ");
  println!("  impl_gen: {}", quote! { #impl_gen });
  println!("  ty_gen: {}", quote! { #ty_gen });
  println!("  Generated impl: {impl_code}");
  println!("  Generated type: {type_code}");
  
  // Check if trailing commas exist (they shouldn't)
  assert!(!impl_gen.trailing_punct(), "impl_gen should not have trailing comma");
  assert!(!ty_gen.trailing_punct(), "ty_gen should not have trailing comma");
  
  // Test case 3 : Empty generics
  let generics: syn ::Generics = parse_quote! { };
  let (_, impl_gen, ty_gen, _) = generic_params ::decompose(&generics);
  
  println!("\nTest 3 - Empty generics: ");
  println!("  impl_gen is empty: {}", impl_gen.is_empty());
  println!("  ty_gen is empty: {}", ty_gen.is_empty());
  
  // Test case 4 : Type parameter only
  let generics: syn ::Generics = parse_quote! { < T > };
  let (_, impl_gen, ty_gen, _) = generic_params ::decompose(&generics);
  
  let impl_code = quote! { impl< #impl_gen > MyTrait for MyStruct };
  let type_code = quote! { MyStruct< #ty_gen > };
  
  println!("\nTest 4 - Single type parameter: ");
  println!("  impl_gen: {}", quote! { #impl_gen });
  println!("  ty_gen: {}", quote! { #ty_gen });
  println!("  Generated impl: {impl_code}");
  println!("  Generated type: {type_code}");
  
  assert!(!impl_gen.trailing_punct(), "impl_gen should not have trailing comma");
  assert!(!ty_gen.trailing_punct(), "ty_gen should not have trailing comma");
}