test(compiler-output): align native-region proofs with current lowering - #9271

test(compiler-output): align native-region proofs with current lowering#9271

proggeramlug merged 1 commit into

PerryTS:mainPerryTS/perry:mainfrom

proggeramlug:codex/9150-native-proof-contractsproggeramlug/perry:codex/9150-native-proof-contractsCopy head branch name to clipboard