[dianqk]

Alternative to #165074. It depends on #163335.

When eliminating a dead assignment, we leave a storage allocation statement behind, so that the allocation's location is preserved.

[rust-log-analyzer]

The job test-pr-check-2 failed! Check out the build log: (web) (plain enhanced) (plain)

Click to see the possible cause of the failure (guessed by this bot)

    Checking regex-automata v0.4.13
[RUSTC-TIMING] cargo_metadata test:false 0.872
    Checking tracing-error v0.2.1
[RUSTC-TIMING] tracing_error test:false 0.088
error[E0004]: non-exhaustive patterns: `&StatementKind::StorageAlloc(_)` not covered
   --> src/tools/clippy/clippy_utils/src/qualify_min_const_fn.rs:238:11
    |
238 |     match &statement.kind {
    |           ^^^^^^^^^^^^^^^ pattern `&StatementKind::StorageAlloc(_)` not covered
    |
note: `StatementKind<'_>` defined here
   --> compiler/rustc_middle/src/mir/syntax.rs:307:1
    |
307 | pub enum StatementKind<'tcx> {
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
...
392 |     StorageAlloc(Local),
    |     ------------ not covered
    = note: the matched value is of type `&StatementKind<'_>`
help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
    |
265 ~         | StatementKind::Nop => Ok(()),
266 ~         &StatementKind::StorageAlloc(_) => todo!(),
    |

For more information about this error, try `rustc --explain E0004`.
[RUSTC-TIMING] clippy_utils test:false 2.419
error: could not compile `clippy_utils` (lib) due to 1 previous error