Skip to content

Swap Visitors to early exit, instead of storing poison flag#13654

Merged
bors merged 1 commit intorust-lang:masterfrom
GnomedDev:early-exit-visitors
Nov 5, 2024

Commits

Commits on Nov 4, 2024