fix: unsoundness issue caught in recent nightly#712

Merged

john-h-kastner-aws merged 1 commit intocedar-policy:mainfrom

iamsauravsharma:fix-nightly

Mar 11, 2024

Commits on Mar 10, 2024

fix: unsoundness issue caught in recent nightly
iamsauravsharma
committed