metabug: const_eval bugs from type confusion and/or overflow

[pnkfelix]

metabug: const_eval bugs from type confusion and/or overflow

(I am collapsing these seemingly distinct categories into one, because I have observed cases where a seeming failure to catch an overflow, or signaling an overflow where none should exist, can sometimes be traced to the const-evaluator being confused about the type of the expression in question.)

[pnkfelix]

(tagging as A-typesystem since that's what @steveklabnik seems to often do, though I am currently wondering if we should actually have an A-consteval label at this point...)

[steveklabnik]

Yeah, with this many issues...

[steveklabnik]

Triage: this is a metabug, some stuff has changed, but not all of it.

[pnkfelix]

Hmm are we close to being able to close this metabug? I see almost all of the linked issues are now closed; the one remaining one is rust-lang/rfcs#1071, which is more ... philosophical...?

[pnkfelix]

Yes at this point I think #30587 resolved all of our known issues here.