Skip to content

fix(transmute): accept MaybeUninit reinterpretation#1017

Draft
Stevengre wants to merge 1 commit intomasterfrom
codex/20260403-transmute-maybe-uninit
Draft

fix(transmute): accept MaybeUninit reinterpretation#1017
Stevengre wants to merge 1 commit intomasterfrom
codex/20260403-transmute-maybe-uninit

Conversation

@Stevengre
Copy link
Copy Markdown
Contributor

Summary

  • allow MaybeUninit<T> transmute to reinterpret arbitrary bit patterns instead of rejecting non-identical source types
  • rename the prove-rs regression from transmute-maybe-uninit-fail to transmute-maybe-uninit-i128 now that it reaches #EndProgram

Test plan

  • cd kmir && uv run pytest src/tests/integration/test_integration.py -k "transmute-bytes or transmute-u8-to-enum or transmute-maybe-uninit-i128" -q

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant