Commit cc72796
1 file changed
+1
-1
lines changedSubmodule mir-semantics updated 9 files
- kmir/src/kmir/kdist/mir-semantics/rt/data.md+40-2
- kmir/src/kmir/kdist/mir-semantics/rt/types.md+25-2
- kmir/src/kmir/kdist/mir-semantics/symbolic/spl-token.md+270
- kmir/src/tests/integration/data/prove-rs/show/transmute-maybe-uninit-fail.main.expected+17
- kmir/src/tests/integration/data/prove-rs/show/transmute-u8-to-enum-fail.main.expected+2-2
- kmir/src/tests/integration/data/prove-rs/spl_token_domain_data.rs+6
- kmir/src/tests/integration/data/prove-rs/transmute-maybe-uninit-fail.rs+10
- kmir/src/tests/integration/data/prove-rs/transmute-maybe-uninit.rs+18
- kmir/src/tests/integration/test_integration.py+2-1
0 commit comments