Closed kwitaechong closed 2 months ago
replace pushRegion/popRegion with ScopedRegion for cases where the function returns early, etc.
closes #736
@kwitaechong this can be rebased on master
Ignoring unrelated jenkins failures
replace pushRegion/popRegion with ScopedRegion for cases where the function returns early, etc.
closes #736