Auto merge of #46882 - oli-obk:miri3, r=eddyb

Replace all const evaluation with miri

* error reporting in constants prints a stacktrace through all called const fns
* Trivial constant propagation and folding in MIR (always active, irrelevant of the optimization level)
* can now use floating constants in patterns (previously only floating point literals were allowed)
    * the future compat lint is still produced for both cases
* can index into constant arrays during const eval (previously feature gated)
* can create a constant union value with field `a` and read from field `b`
* can dereference references into constants
* can create references inside constants (`const X: &u32 = &22`)
* Tuple struct constructors can be used in constants
* regression in const eval errors spans (some of these need improvements in mir debug info)
* can cast floats to ints and vice versa (in constants, and even nan/inf constants)
* Mir dump prints false/true instead of 0u8/1u8
* `1i8 >> [8][0]` does not lint about exceeding bitshifts anymore.
    * Needs const propagation across projections
* `foo[I]` produces a const eval lint if `foo: [T; N]` and `N < I`
    * Essentially all builtin panics produce lints if they can be statically proven to trigger at runtime. This is on a best effort basis, so there might be some complex cases that don't trigger. (The runtime panic stays there, irrelevant of whether the lint is produced or not)
* can use `union`s to implement `transmute` for `Copy` types in constants without a feature gate. With all the greatness and nasal demons that come with this.
* can convert integers to `&'static T` in constants (useful for embedded)

fixes #34997 (stack overflow with many constants)
fixes #25574 (deref byte strings in patterns)
fixes #27918 (broken mir ICE)
fixes #46114 (ICE on struct constructors in patterns)
fixes #37448 (`SomeStruct { foo } as SomeStruct`)
fixes #43754 (`return` in const fn)
fixes #41898 (tuple struct constructors)
fixes #31364 (infinite recursion with const fn, fixed by miri's recursion limit)
closes #29947 (const indexing stabilization)
fixes #45044 (pattern matching repeat expressions)
fixes #47971 (ICE on const fn + references)
fixes #48081 (ICE on cyclic assoc const error)
fixes #48746 (nonhelpful error message with unions)

r? @eddyb

even though 1k loc are added in tests, this PR reduces the loc in this repository by 700

Don't derive traits on packed structs

Clean up the binary hex lint

simplify constant value pair field access

Unify the const folding errors

before they differed depending on whether optimizations were on or not

Correct the shift overflow check in miri

Regenerate tests

Use clearer name for integer bit width helper function

Reuse `Integer::from_attr`

Remove unused error code

Generator assertions are unconditionally triggered

Address review comments

Adjust test which differs between 32 bit and 64 bit

The differences are not part of what the test is testing, so they were simply removed.

Decide signdedness on the layout instead of the type

Deduplicate some code

Don't use the undefined bytes of PrimVal::Bytes

Fix mozjs crater failure

Const eval will oom together with rustc now

Step limit is now terminator limit

Add regression test

Rebase fallout

Report tcx errors with the span of the currently evaluating statement

Report a best guess span if no stack is available anymore

Update compile-fail tests

Add a test for transmuting via unions in constants

Typo

Unregress error spans in constant errors

Stage 2 doesn't see suggestion_approximate

Remove dead code

Add some documentation to pattern/const conversions

Reduce code duplication

Tidy fix

Const eval error refactoring

Add stack traces to miri errors

Update tests

Report all errors other than those about insufficient type information

Compute the ParamEnv only once and use it to call tcx.const_eval

Add regression test for const prop

Can only const prop temporaries

Variables might error in branches that are not reachable due to the variable value.

Update tests

Simplify const propagator by removing unused code paths

Rename OptimizationFinder and don't propagate any borrows

Simplify const prop checks through PlaceContext

Move the resource limits to the session in preparation for attributes configuring them

Figure out const propgatable locals in a single pass

Remove unused error E0020

Update tests

Stabilize const_indexing feature

Report const eval errors at the correct span

Only report bitshift lints on bitshift ops

rustc_passes::consts -> rvalue_promotion

Use IndexVec instead of FxHashMap

Merge const linting pass into const prop

Remove redundant warnings in rustc_trans

Remove single field struct by just using the field

Adjust tests to changed const err lints

Remove the fragile const propagator and just do linting

Deduplicate code in rustdoc

Adjust tests to more aggressive const err linting

Fix ICE in const prop

Simplify const SIMD shuffle in trans

Revert all changes to the instcombine pass

Split const prop into its own pass

Don't use scary block reorderings

Report errors in statics during collecting instead of translating

Add regression tests

Simplify code around reading/writing ConstVals

Accidental paste

Explain the existance of `is_binop_lang_item`

Remove unused error variants and const eval types

Move the pattern checking code to hair

only export the two check* functions from check_match

The `const_eval` module is no more

Move lit_to_const to `pattern` and remove the now-empty `eval` module

Remove unused function

Move compare_const_vals out of `eval`

Reduce noise in error reporting

Use Mutability enum instead of bool

Prefer enum instead of magic numbers

Stop emitting `miri failed` in error messages

Rename simd shuffle function and adjust comment

Use layout::Integer over manual *size resolving

Nuke ConstInt and Const*size

Rename ConstVal::to_u128 to to_raw_bits

Destructure Rc wrapped ErrorKind in miri

Add test for #45044

Add test for attempting to use array indexing for conditional const eval

Wrap the miri ErrorKind in an Rc to reduce work in queries

Don't read from zero sized fields

Hide the RefCell inside InterpretInterner

It was too easy to get this wrong

Don't borrow the interpret_interner for anything but a direct function call

Allow tools (e.g. miri) to enable rust logging

Allow writing mutable statics in miri by adding them to the Machine

More const eval sanity checks (invalid slice fat pointers)

Enable const prop to also evaluate constants, not just literals

Additional sanity assertion

Print whether the stackframe is for a promoted

Add InterpretInterner to StableHashingContext for AllocId serialization

Add tests for fixed issues

Codegen tests