Skip to content

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

Nested arrows with same-named untyped parameters can be instantiated

86b70d4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar