Skip to content

Do not type callable parameters from closure arguments - #27

Merged
TomasVotruba merged 1 commit into
mainfrom
avoid-callable-closure-types
Sep 15, 2026
Merged

Do not type callable parameters from closure arguments#27
TomasVotruba merged 1 commit into
mainfrom
avoid-callable-closure-types

Do not type callable parameters from closure arguments

64dbb53
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar