former 2.43.0

A flexible implementation of the Builder pattern supporting nested builders and collection-specific subformers. Simplify the construction of complex objects.
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

# Fix parametrized_struct_imm Test

## Issue
Test is disabled due to: "E0277 Hash/Eq trait bound issues with Definition"

## Files Involved
- `/home/user1/pro/lib/wTools/module/core/former/tests/inc/struct_tests/parametrized_struct_imm.rs`
- `/home/user1/pro/lib/wTools/module/core/former/tests/inc/struct_tests/mod.rs` (line 118)

## Problem Description
The test has a Child struct with generic K parameter that requires Hash + Eq bounds, but the macro-generated code doesn't properly handle these trait bounds.

## Investigation Required
1. Run the test to see specific E0277 trait bound errors
2. Examine how the macro handles generic parameters with trait bounds
3. Identify if Definition type needs Hash/Eq constraints propagated

## Expected Outcome
Enable the test by fixing trait bound propagation in parametrized structs.

## Priority
High - generic parameter support is core functionality

## Status
INVESTIGATED - Multiple macro issues identified

## Investigation Results
The test fails with multiple compilation errors indicating fundamental issues with generic parameter handling in the macro:

**Error 1: Generic Arguments Order**
```
error: generic arguments must come before the first constraint
pub struct Child<K: core::hash::Hash + core::cmp::Eq> {
```

**Error 2: Undeclared Lifetime**
```
error[E0261]: use of undeclared lifetime name `'a`
```
The macro is trying to use lifetime `'a` that doesn't exist in the struct definition.

**Error 3: Generic Parameter Not Found** 
```
error[E0412]: cannot find type `K` in this scope
```
The macro isn't properly handling the generic parameter `K`.

**Error 4: Trait Bounds Not Propagated**
```
error[E0277]: the trait bound `K: Hash` is not satisfied
```
The `K: core::hash::Hash + core::cmp::Eq` constraints aren't being propagated to generated code.

**Root Causes:**
1. Macro's generic parameter parsing doesn't handle trait bounds properly
2. Lifetime inference is incorrectly trying to inject `'a` 
3. Generic parameters with constraints are not being recognized in scope
4. Trait bounds from struct definition not propagated to macro-generated code

**Solution Required:**
Fix the macro's generic parameter parsing to:
1. Properly handle `<K: Trait + Trait>` syntax
2. Not inject spurious lifetimes
3. Propagate trait bounds to generated FormerDefinition types
4. Ensure generic parameters are in scope for generated code

## Status
Blocked - requires macro-level fix for generic parameter parsing and trait bound propagation