Skip to content

Typestate - #393

Closed
catamorphism wants to merge 18 commits into
rust-lang:masterfrom
catamorphism:typestate_3
Closed

Typestate#393
catamorphism wants to merge 18 commits into
rust-lang:masterfrom
catamorphism:typestate_3

Typestate checking code no longer uses fold -- only walk.

27869b6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs