fix(types): make #pointeeProjection confluent with source-first unwrapping strategy#988

automergerpr-permission-manager[bot] merged 9 commits intomasterruntimeverification/mir-semantics:masterfrom

jh/close-account-multisig-write-volatile-arrayruntimeverification/mir-semantics:jh/close-account-multisig-write-volatile-arrayCopy head branch name to clipboard