Skip to content

Add tests for type-checker false negatives#976

Merged
dandavison merged 5 commits intomainfrom
dan-0003-test-type-errors
Jul 18, 2025
Merged

Add tests for type-checker false negatives#976
dandavison merged 5 commits intomainfrom
dan-0003-test-type-errors

Commits

Commits on Jul 17, 2025