Skip to content

Make const eval return normalized ty - #160526

Open
bit-aloo wants to merge 6 commits into
rust-lang:mainfrom
bit-aloo:2026-08-04-const-eval-normalized-ty-return
Open

Make const eval return normalized ty#160526
bit-aloo wants to merge 6 commits into
rust-lang:mainfrom
bit-aloo:2026-08-04-const-eval-normalized-ty-return

Conversation

@bit-aloo

@bit-aloo bit-aloo commented Aug 4, 2026

Copy link
Copy Markdown
Member

@rustbot

rustbot commented Aug 4, 2026

Copy link
Copy Markdown
Collaborator

Some changes occurred in const_evaluatable.rs

cc @BoxyUwU

Some changes occurred to the core trait solver

cc @rust-lang/initiative-trait-system-refactor

@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. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver) labels Aug 4, 2026
@bit-aloo

bit-aloo commented Aug 4, 2026

Copy link
Copy Markdown
Member Author

I am very dicy around the old solver changes: 0d49779

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. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

feature(adt_const_params) ICEs under next solver: symbol_names: unsupported constant of type [ICE]: symbol_names: unsupported constant of type

3 participants