interpret/visitor: add missing early return#99378

Merged

bors merged 1 commit intorust-lang:masterfrom RalfJung:box-early-return

Jul 18, 2022

+3

Commits on Jul 17, 2022

interpret/visitor: add missing early return
RalfJung
committed