update smir_pretty submodule to latest master

[jberthold]

No description provided.

[jberthold]

Saw one warning message locally:

kmir/src/tests/integration/data/run-rs/memory/box.rs: Items missing static with id StaticDef(DefId { id: 36, name: "alloc::alloc::__rust_no_alloc_shim_is_unstable" }) and name "__rust_no_alloc_shim_is_unstable"

It seems the smir-pretty conversion succeeds nevertheless and the program can be parsed, but I will check what exactly is happening there.

[dkcumming]

Saw one warning message locally:

kmir/src/tests/integration/data/run-rs/memory/box.rs: Items missing static with id StaticDef(DefId { id: 36, name: "alloc::alloc::__rust_no_alloc_shim_is_unstable" }) and name "__rust_no_alloc_shim_is_unstable"

It seems the smir-pretty conversion succeeds nevertheless and the program can be parsed, but I will check what exactly is happening there.

This is related to runtimeverification/stable-mir-json#29 which is from merging the PR that removed our Rust fork and switched to the beta fork.

[dkcumming]

lgtm