Skip to content

interpret/visitor: add missing early return#99378

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:box-early-return
Jul 18, 2022
Merged

interpret/visitor: add missing early return#99378
bors merged 1 commit intorust-lang:masterfrom
RalfJung:box-early-return

Commits

Commits on Jul 17, 2022