Skip to content

Various steps in moving away from the big reflection enum to reflection functions - #159727

Open
oli-obk wants to merge 5 commits into
rust-lang:mainfrom
oli-obk:reflection_stuff
Open

Various steps in moving away from the big reflection enum to reflection functions#159727
oli-obk wants to merge 5 commits into
rust-lang:mainfrom
oli-obk:reflection_stuff

Conversation

@oli-obk

@oli-obk oli-obk commented Jul 22, 2026

Copy link
Copy Markdown
Contributor

tracking issue: #146922

Some more of these and we can turn the big TyKind enum into one without any data, but I think these are enough steps for one PR, don't wanna turn it into a mega PR

@rustbot

rustbot commented Jul 22, 2026

Copy link
Copy Markdown
Collaborator

Some changes occurred to the CTFE machinery

cc @RalfJung, @lcnr

Some changes occurred to the intrinsics. Make sure the CTFE / Miri interpreter
gets adapted for the changes, if necessary.

cc @rust-lang/miri, @RalfJung, @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 Jul 22, 2026
@rustbot rustbot added the T-libs Relevant to the library team, which will review and decide on the PR/issue. label Jul 22, 2026
@rustbot

rustbot commented Jul 22, 2026

Copy link
Copy Markdown
Collaborator

r? @JohnTitor

rustbot has assigned @JohnTitor.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: compiler
  • compiler expanded to 74 candidates
  • Random selection from 20 candidates

@rust-log-analyzer

This comment has been minimized.

Comment thread library/core/src/intrinsics/mod.rs
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Jul 27, 2026
… r=fmease

Enforce that we don't generate code for comptime fns

... by ICEing if you try to compute a symbol for them. There are various other ways we can assert it, but they were all a bit icky or already unreachable.

r? @fmease (since you asked about it in rust-lang#159727 (comment))
rust-timer added a commit that referenced this pull request Jul 27, 2026
Rollup merge of #159777 - oli-obk:really-comptime-this-time, r=fmease

Enforce that we don't generate code for comptime fns

... by ICEing if you try to compute a symbol for them. There are various other ways we can assert it, but they were all a bit icky or already unreachable.

r? @fmease (since you asked about it in #159727 (comment))
@oli-obk
oli-obk force-pushed the reflection_stuff branch from f2afff8 to 0214ef6 Compare July 28, 2026 06:50
@rustbot

rustbot commented Jul 28, 2026

Copy link
Copy Markdown
Collaborator

This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

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. T-libs Relevant to the library team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants