fix(typecheck): let the typecheck script generate the types it compares - #88

Merged

sunny-wego merged 2 commits into

mainfrom

typecheck-generates-types

Sep 22, 2026

Commits on Sep 22, 2026

fix(typecheck): let the typecheck script generate the types it compares

sunny-wego
and
claude
committed
ff41d70
test(contract): assert the typecheck operator positively, not by blacklist

sunny-wego
and
claude
committed
98ffd62