compat(nightly-2025-07-05): IndexedVal goes private#147

cds-amal wants to merge 3 commits intostack/pr5-ciruntimeverification/stable-mir-json:stack/pr5-cifrom

stack/pr7-nightly-2025-07-05runtimeverification/stable-mir-json:stack/pr7-nightly-2025-07-05Copy head branch name to clipboard