Skip to content

generic_const_exprs: use thir for abstract consts instead of mir#88709

Merged
bors merged 18 commits into
rust-lang:masterfrom
BoxyUwU:thir-abstract-const
Sep 12, 2021
Merged

generic_const_exprs: use thir for abstract consts instead of mir#88709
bors merged 18 commits into
rust-lang:masterfrom
BoxyUwU:thir-abstract-const

Conversation

@BoxyUwU
Copy link
Copy Markdown
Member

@BoxyUwU BoxyUwU commented Sep 7, 2021

Changes AbstractConst building to use thir instead of mir so that there's less chance of consts unifying when they shouldn't because lowering to mir dropped information (see abstract-consts-as-cast-5.rs test)

r? @lcnr

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

Labels

A-const-generics Area: const generics (parameters and arguments) F-generic_const_exprs `#![feature(generic_const_exprs)]` S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

8 participants