Allow field(0) projection as a no-op when target value is a PtrLocal#871

jberthold merged 3 commits intomasterruntimeverification/mir-semantics:masterfrom

transparent-struct-access-hackruntimeverification/mir-semantics:transparent-struct-access-hackCopy head branch name to clipboard