Skip to content

Improve typechecking error message - #1014

Merged
castwide merged 1 commit into
castwide:masterfrom
apiology:better_typechecking_message
Aug 24, 2025
Merged

castwide merged 1 commit into
castwide:masterfrom
apiology:better_typechecking_message

Commits

Commits on Jul 21, 2025