Support ADT types in type info reflection #151142

SpriteOvO · 2026-01-14T21:26:20Z

Tracking issue: #146922 #![feature(type_info)]

This PR supports ADT types for feature type_info reflection.
(It's still a draft PR, with implementation in progress)

Note that this PR does not take SemVer into consideration (I left a FIXME comment). As discussed earlier (comment), this requires further discussion. However, I hope we could get an initial implementation to land first, so we can start playing with it.

Progress / Checklist

Struct support.
Enum
Union
Generics
~~Methods~~ Implemented and to be implemented in other PRs
~~Traits~~ Implemented and to be implemented in other PRs
Rebasing PR to main branch
~~(It's currently based on PR Support primitives in type info reflection #151123, so here's an extra commit)~~
Cleanup and Rebase.
Fix field info for references. (see comment)

r? @oli-obk

rustbot · 2026-01-14T21:26:25Z

oli-obk is not on the review rotation at the moment.
They may take a while to respond.

compiler/rustc_const_eval/src/const_eval/type_info.rs

library/core/src/mem/type_info.rs

compiler/rustc_const_eval/src/const_eval/type_info.rs

9SonSteroids · 2026-02-03T14:03:56Z

Is there anything missing from this PR / is there some way I could help? @SpriteOvO

SpriteOvO · 2026-02-03T14:08:40Z

I've almost finished it locally, but there's still some cleanup and rebasing I need to do before it's ready for review. Just been a bit busy lately.

9SonSteroids · 2026-02-04T17:39:21Z

@SpriteOvO Btw traits are already done in the other PR and unions / methods seem out of scope of ADTs so consider omiting them from this PR

library/coretests/tests/mem/type_info.rs

rustbot · 2026-02-07T18:43:47Z

Some changes occurred to the CTFE machinery

cc @RalfJung, @oli-obk, @lcnr

The reflection data structures are tied exactly to the implementation
in the compiler. Make sure to also adjust rustc_const_eval/src/const_eval/type_info.rs

cc @oli-obk

rust-bors · 2026-02-10T13:31:35Z

📌 Commit 6ab6734 has been approved by oli-obk

It is now in the queue for this repository.

@oli-obk

Support ADT types in type info reflection Tracking issue: rust-lang#146922 `#![feature(type_info)]` This PR supports ADT types for feature `type_info` reflection. (It's still a draft PR, with implementation in progress) Note that this PR does not take SemVer into consideration (I left a FIXME comment). As discussed earlier ([comment](rust-lang#146923 (comment))), this requires further discussion. However, I hope we could get an initial implementation to land first, so we can start playing with it. ### Progress / Checklist - [x] Struct support. - [x] Enum - [x] Union - [x] Generics - [ ] ~Methods~ Implemented and to be implemented in other PRs - [ ] ~Traits~ Implemented and to be implemented in other PRs - [x] Rebasing PR to `main` branch ~~(It's currently based on PR rust-lang#151123, so here's an extra commit)~~ - [x] Cleanup and Rebase. - [x] Fix field info for references. (see [comment](rust-lang#151142 (comment))) r? @oli-obk

@oli-obk

Support ADT types in type info reflection Tracking issue: rust-lang#146922 `#![feature(type_info)]` This PR supports ADT types for feature `type_info` reflection. (It's still a draft PR, with implementation in progress) Note that this PR does not take SemVer into consideration (I left a FIXME comment). As discussed earlier ([comment](rust-lang#146923 (comment))), this requires further discussion. However, I hope we could get an initial implementation to land first, so we can start playing with it. ### Progress / Checklist - [x] Struct support. - [x] Enum - [x] Union - [x] Generics - [ ] ~Methods~ Implemented and to be implemented in other PRs - [ ] ~Traits~ Implemented and to be implemented in other PRs - [x] Rebasing PR to `main` branch ~~(It's currently based on PR rust-lang#151123, so here's an extra commit)~~ - [x] Cleanup and Rebase. - [x] Fix field info for references. (see [comment](rust-lang#151142 (comment))) r? @oli-obk

…uwer Rollup of 13 pull requests Successful merges: - #149937 (try enabling `linker-messages` by default again) - #151733 (Use function shims to make sure EII works on apple targets) - #152120 (Don't ICE on layout error in vtable computation) - #152419 (Move more query system code) - #152431 (Restrict the set of things that const stability can be applied to) - #152436 (Reenable a GCI+mGCA+GCPT test case) - #151142 (Support ADT types in type info reflection) - #152021 (Bump tvOS, visionOS and watchOS Aarch64 targets to tier 2) - #152146 (mGCA: Add associated const type check) - #152372 (style: remove unneeded trailing commas) - #152383 (BikeshedGuaranteedNoDrop trait: add comments indicating that it can be observed on stable) - #152397 (Update books) - #152441 (Fix typos and grammar in top-level and src/doc documentation)

@oli-obk

Support ADT types in type info reflection Tracking issue: rust-lang#146922 `#![feature(type_info)]` This PR supports ADT types for feature `type_info` reflection. (It's still a draft PR, with implementation in progress) Note that this PR does not take SemVer into consideration (I left a FIXME comment). As discussed earlier ([comment](rust-lang#146923 (comment))), this requires further discussion. However, I hope we could get an initial implementation to land first, so we can start playing with it. ### Progress / Checklist - [x] Struct support. - [x] Enum - [x] Union - [x] Generics - [ ] ~Methods~ Implemented and to be implemented in other PRs - [ ] ~Traits~ Implemented and to be implemented in other PRs - [x] Rebasing PR to `main` branch ~~(It's currently based on PR rust-lang#151123, so here's an extra commit)~~ - [x] Cleanup and Rebase. - [x] Fix field info for references. (see [comment](rust-lang#151142 (comment))) r? @oli-obk

@oli-obk

Support ADT types in type info reflection Tracking issue: rust-lang#146922 `#![feature(type_info)]` This PR supports ADT types for feature `type_info` reflection. (It's still a draft PR, with implementation in progress) Note that this PR does not take SemVer into consideration (I left a FIXME comment). As discussed earlier ([comment](rust-lang#146923 (comment))), this requires further discussion. However, I hope we could get an initial implementation to land first, so we can start playing with it. ### Progress / Checklist - [x] Struct support. - [x] Enum - [x] Union - [x] Generics - [ ] ~Methods~ Implemented and to be implemented in other PRs - [ ] ~Traits~ Implemented and to be implemented in other PRs - [x] Rebasing PR to `main` branch ~~(It's currently based on PR rust-lang#151123, so here's an extra commit)~~ - [x] Cleanup and Rebase. - [x] Fix field info for references. (see [comment](rust-lang#151142 (comment))) r? @oli-obk

matthiaskrgr · 2026-02-11T10:09:02Z

@bors r-
#152473 (comment)

rust-bors · 2026-02-11T10:09:09Z

Commit 6ab6734 has been unapproved.

This PR was contained in a rollup (#152473), which was also unapproved.

SpriteOvO · 2026-02-11T11:10:47Z

@oli-obk I think we should probably drop the dump.rs test? Even though we now separate bit32 and bit64 output results, struct size is starting to differ across architectures.

I'll confirm later whether a follow-up PR is necessary to further refine the existing type_info.rs coretest, ensuring we cover all current outputs even without dump.rs.

oli-obk · 2026-02-11T12:02:34Z

Yea. dump.rs was never a good idea I had. Just an easy thing. There's enough other tests, so let's nuke it

SpriteOvO · 2026-02-11T13:24:16Z

@rustbot review

oli-obk · 2026-02-11T14:38:35Z

@bors r+

rust-bors · 2026-02-11T14:38:38Z

📌 Commit 4810270 has been approved by oli-obk

It is now in the queue for this repository.

@oli-obk

Support ADT types in type info reflection Tracking issue: rust-lang#146922 `#![feature(type_info)]` This PR supports ADT types for feature `type_info` reflection. (It's still a draft PR, with implementation in progress) Note that this PR does not take SemVer into consideration (I left a FIXME comment). As discussed earlier ([comment](rust-lang#146923 (comment))), this requires further discussion. However, I hope we could get an initial implementation to land first, so we can start playing with it. ### Progress / Checklist - [x] Struct support. - [x] Enum - [x] Union - [x] Generics - [ ] ~Methods~ Implemented and to be implemented in other PRs - [ ] ~Traits~ Implemented and to be implemented in other PRs - [x] Rebasing PR to `main` branch ~~(It's currently based on PR rust-lang#151123, so here's an extra commit)~~ - [x] Cleanup and Rebase. - [x] Fix field info for references. (see [comment](rust-lang#151142 (comment))) r? @oli-obk

Rollup of 7 pull requests Successful merges: - #152505 (Sync relnotes for stable 1.93.1) - #137487 (Stabilize `assert_matches`) - #152281 (borrowck: suggest `&mut *x` for pattern reborrows) - #151142 (Support ADT types in type info reflection) - #152477 (rustc-dev-guide subtree update) - #152488 (allow `deprecated(since = "CURRENT_RUSTC_VERSION")`) - #152491 (Remove unused `fluent-syntax` dependency from tidy)

SpriteOvO added A-type-system Area: Type system F-type_info #![feature(type_info)] labels Jan 14, 2026

rustbot assigned oli-obk Jan 14, 2026

SpriteOvO changed the title ~~Support primitives in type info reflection~~ Support ADT types in type info reflection Jan 14, 2026

SpriteOvO force-pushed the type-info-adt branch from 1bd8449 to 0b20893 Compare January 14, 2026 21:35

SpriteOvO commented Jan 14, 2026

View reviewed changes

compiler/rustc_const_eval/src/const_eval/type_info.rs Show resolved Hide resolved

This comment has been minimized.

Sign in to view

oli-obk requested changes Jan 16, 2026

View reviewed changes

library/core/src/mem/type_info.rs Outdated Show resolved Hide resolved

compiler/rustc_const_eval/src/const_eval/type_info.rs Show resolved Hide resolved

This comment has been minimized.

Sign in to view

SpriteOvO force-pushed the type-info-adt branch from 0b20893 to e50e5d9 Compare January 19, 2026 00:26

This comment has been minimized.

Sign in to view

SpriteOvO mentioned this pull request Jan 20, 2026

Support trait objects in type info reflection #151239

Merged

SpriteOvO force-pushed the type-info-adt branch from e50e5d9 to 0b7ff30 Compare January 20, 2026 07:59

SpriteOvO force-pushed the type-info-adt branch 2 times, most recently from c5e6c84 to f0ae098 Compare February 7, 2026 17:22

This comment has been minimized.

Sign in to view

SpriteOvO force-pushed the type-info-adt branch from f0ae098 to ffabe32 Compare February 7, 2026 18:27

SpriteOvO commented Feb 7, 2026

View reviewed changes

library/coretests/tests/mem/type_info.rs Outdated Show resolved Hide resolved

SpriteOvO marked this pull request as ready for review February 7, 2026 18:43

rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Feb 7, 2026

rust-bors bot added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Feb 10, 2026

JonathanBrouwer mentioned this pull request Feb 10, 2026

Rollup of 10 pull requests #152442

Closed

JonathanBrouwer mentioned this pull request Feb 10, 2026

Rollup of 13 pull requests #152451

Closed

matthiaskrgr mentioned this pull request Feb 10, 2026

Rollup of 12 pull requests #152454

Closed

matthiaskrgr mentioned this pull request Feb 11, 2026

Rollup of 11 pull requests #152473

Closed

rust-bors bot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Feb 11, 2026

Drop dump test for type info reflection

4810270

SpriteOvO force-pushed the type-info-adt branch from 627a1f1 to 4810270 Compare February 11, 2026 11:18

rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Feb 11, 2026

rust-bors bot added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Feb 11, 2026

Urgau mentioned this pull request Feb 11, 2026

Rollup of 7 pull requests #152506

Open

Uh oh!

Support ADT types in type info reflection #151142

Are you sure you want to change the base?

Support ADT types in type info reflection #151142

Uh oh!

Conversation

SpriteOvO commented Jan 14, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Progress / Checklist

Uh oh!

rustbot commented Jan 14, 2026

Uh oh!

Uh oh!

This comment has been minimized.

Uh oh!

Uh oh!

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

9SonSteroids commented Feb 3, 2026

Uh oh!

SpriteOvO commented Feb 3, 2026

Uh oh!

9SonSteroids commented Feb 4, 2026

Uh oh!

This comment has been minimized.

Uh oh!

rustbot commented Feb 7, 2026

Uh oh!

rust-bors bot commented Feb 10, 2026

Uh oh!

matthiaskrgr commented Feb 11, 2026

Uh oh!

rust-bors bot commented Feb 11, 2026

Uh oh!

SpriteOvO commented Feb 11, 2026

Uh oh!

oli-obk commented Feb 11, 2026

Uh oh!

SpriteOvO commented Feb 11, 2026

Uh oh!

oli-obk commented Feb 11, 2026

Uh oh!

rust-bors bot commented Feb 11, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

6 participants

SpriteOvO commented Jan 14, 2026 •

edited

Loading