Skip to content

Set groundwork for proper const normalization - #140549

Merged
bors merged 3 commits into
rust-lang:masterfrom
BoxyUwU:proper_const_norm
May 4, 2025
Merged

Set groundwork for proper const normalization#140549
bors merged 3 commits into
rust-lang:masterfrom
BoxyUwU:proper_const_norm

Conversation

@BoxyUwU

@BoxyUwU BoxyUwU commented May 1, 2025

Copy link
Copy Markdown
Member

r? lcnr

Updates a lot of our normalization/alias infrastructure to be setup to handle mgca aliases and normalization once const items are represented more like aliases than bodies. Inherent associated consts are still super busted, I didn't update the assertions that IACs the right arg setup because that winds up being somewhat involved to do before proper support for normalizing const aliases is implemented.

I dont intend for this to have any effect on stable. We continue normalizing via ctfe on stable and the codepaths in project for consts should only be reachable with mgca or ace.

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

Labels

merged-by-bors This PR was explicitly merged by bors. perf-regression Performance regression. perf-regression-triaged The performance regression has been triaged. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. 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.

7 participants