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

TomasVotruba merged 1 commit into
mainfrom
avoid-callable-closure-types

Commits

Commits on Sep 15, 2026