[RuleOfSix]

Fixes #163901.

Associated const mgca items whose type is an enum with an unsized field fail wf-check, but this lint still tries to run, eventually trying to evaluate the const and causing an ICE.

[rustbot]

HIR ty lowering was modified

cc @fmease

[rustbot]

r? @khyperia

rustbot has assigned @khyperia.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

• Owners of files modified in this PR: compiler
• compiler expanded to 77 candidates
• Random selection from 18 candidates

[khyperia]

thanks for the PR!

hmm, this seems like the wrong place to be checking this - we can't do trait solving during ty lowering.

I think ideally, the error from the not-wf type would propagate somehow and we don't have to reimplement a check like this, but, yeah, not sure if that's possible or how to do that.

[rustbot]

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

[RuleOfSix]

I've implemented a tentative fix directly in KnownPanicsLint that very simply checks the type of ty-level constants for well-formedness before attempting to evaluate them. This lint is apparently the only place where this issue occurs, at least in the cases I've checked.

I also fixed a problem with the test: the compiler would only ICE if it generated MIR, so the test was previously always succeeding. Adding --emit=mir to the compile flags for the test fixed that.

Still unsure if this is the best way to solve this problem, but it does catch all of the simple cases. Type-level constants with ill-formed types inside a Const::Unevaluated still cause crashes when this lint runs.

[khyperia]

sorry for the long/slow response! #165070 has finally merged, and with it, it seems like the test no longer repros. long story short:

• in your test in this PR, fn main() { Foo::ASSOC } now lowers to a mir::Const::Unevaluated(Foo::ASSOC) rather than a mir::Const::Ty(Foo::ASSOC).
• this refers to a tiny synthetic MIR thunk whose body is just return mir::Const::Ty(Foo::ASSOC)
• which then actually does the const fetching thing

I expected the PR to fix issues like this, but to be honest I'm not sure of the exact mechanism in which this is no longer ICE'ing, it may be the case that we can still ICE somehow with a different repro.