Add type-checking fuzzer that generates valid Roc code#8829

Draft

rtfeldman wants to merge 8 commits intomainfrom

fuzz-type-checking

Commits on Feb 1, 2026

Add type-checking fuzzer that generates valid Roc code

authored and
lukewilliamboswell
committed
Fix type-checking fuzzer to match updated BuildEnv.init signature

lukewilliamboswell
and
claude
committed
Expand type-checking fuzzer with tuples, records, tags, and lambdas

lukewilliamboswell
and
claude
committed
Expand type-checking fuzzer with methods, loops, match, and more

lukewilliamboswell
and
claude
committed
Switch type-checking fuzzer to direct byte consumption

lukewilliamboswell
and
claude
committed
Add type aliases, parametric types, and recursive types to fuzzer

lukewilliamboswell
and
claude
committed
Improve type cross-references in fuzzer for better type-checker coverage

lukewilliamboswell
and
claude
committed
Remove Box from fuzzer type names (conflicts with builtin)

lukewilliamboswell
and
claude
committed