Skip to content

interpret: treat pattern and unsafe-binder as ABI-transparent - #160775

Open
RalfJung wants to merge 1 commit into
rust-lang:mainfrom
RalfJung:pattern-unsafe-transparent
Open

interpret: treat pattern and unsafe-binder as ABI-transparent#160775
RalfJung wants to merge 1 commit into
rust-lang:mainfrom
RalfJung:pattern-unsafe-transparent

Conversation

@RalfJung

@RalfJung RalfJung commented Aug 8, 2026

Copy link
Copy Markdown
Member

This was suggested by @Jules-Bertholet in #160658. I didn't follow all the discussions for those types. Making them transparent makes sense to me though we should make sure this is explicitly discussed as a stable guarantee when it comes to stabilizing those types.

Tracking issues: #123646, #130516.

r? @oli-obk

@rustbot

rustbot commented Aug 8, 2026

Copy link
Copy Markdown
Collaborator

Some changes occurred to the CTFE / Miri interpreter

cc @rust-lang/miri

Some changes occurred to the CTFE machinery

cc @oli-obk, @lcnr

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Aug 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants