Wrap bare return values with Completion Records in abstract closure#32

Merged

js-choi merged 1 commit intomainfrom

explicit-completion-records

Aug 20, 2022

Commits on Aug 17, 2022

Wrap bare return values with Completion Records in abstract closure
js-choi
committed