Skip to content

Normalize type_const items even with feature generic_const_exprs #151275

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Draft
mu001999 wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

Normalize type_const items even with feature generic_const_exprs #151275

mu001999 wants to merge 1 commit into from
+30 −1

Conversation

@mu001999
Copy link
Contributor

@mu001999 mu001999 commented Jan 18, 2026 •
edited
Loading

Fixes #151251

With feature generic_const_exprs enabled, consts with #[type_const] won't be normalized even if they need. Then ICE happens when CTFE tries to evaluate such const without body.

Fix this by normalizing such consts even with feature generic_const_exprs enabled.

r? @BoxyUwU

@rustbot
Copy link
Collaborator

rustbot commented Jan 18, 2026

Some changes occurred to the CTFE machinery

cc @RalfJung, @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 Jan 18, 2026
@mu001999 mu001999 marked this pull request as draft January 18, 2026 02:10
@rustbot rustbot 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-review Status: Awaiting review from the assignee but also interested parties. labels Jan 18, 2026
@mu001999 mu001999 changed the title Return evaluated type-const when eval_to_valtree Normalize type_const items even with feature generic_const_exprs Jan 18, 2026
@rust-log-analyzer

This comment has been minimized.

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

Reviewers

No reviews

Assignees

@BoxyUwU BoxyUwU

Labels

S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

ICE: CTFE tried to evaluate type-const (cyclic type_const)

4 participants

@mu001999 @rustbot @rust-log-analyzer @BoxyUwU