fix(rt-data): handle singleton-array projection traversal#976

Stevengre wants to merge 2 commits intomasterruntimeverification/mir-semantics:masterfrom

codex/upstream/issue-021-singleton-array-projectionruntimeverification/mir-semantics:codex/upstream/issue-021-singleton-array-projectionCopy head branch name to clipboard