Repository navigation

Nested arrows with same-named untyped parameters can be instantiated - #542

Merged

ASDAlexander77 merged 1 commit into

mainfrom

fix-nested-implicit-generic-names

Oct 11, 2026

Merged

Nested arrows with same-named untyped parameters can be instantiated#542
ASDAlexander77 merged 1 commit into
mainfrom
fix-nested-implicit-generic-names

Commits on Oct 11, 2026
- Nested arrows with same-named untyped parameters can be instantiated
  
  ASDAlexander77
  and
  claude
  committed
  86b70d4