Ensure inferred let pattern types are well-formed

[Kivooeo]

same as #157013 but with crater and fpc

r? lcnr

[rustbot]

r? @chenyukang

rustbot has assigned @chenyukang.
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 73 candidates
• Random selection from 19 candidates

[Kivooeo]

@bors try

[rust-bors]

☀️ Try build successful (CI)
Build commit: b152f55 (b152f5575a2ac7126ae0019e4e679abe9399213e, parent: 65407954098ca3c19f0d46092cb374b5d3e9dc3c)

[s7tya]

#150040

[Kivooeo]

@craterbot check

[craterbot]

👌 Experiment pr-157841 created and queued.
🤖 Automatically detected try build b152f55
🔍 You can check out the queue and this experiment's details.

ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

[craterbot]

🚧 Experiment pr-157841 is now running

ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

[craterbot]

🎉 Experiment pr-157841 is completed!
📊 2 regressed and 4 fixed (978411 total)
📊 4727 spurious results on the retry-regressed-list.txt, consider a retry¹ if this is a significant amount.
📰 Open the summary report.

⚠️ If you notice any spurious failure please add them to the denylist!
ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

Footnotes

1. re-run the experiment with crates=https://crater-reports.s3.amazonaws.com/pr-157841/retry-regressed-list.txt ↩

[theemathas]

what the heck is this magic_import crate that pass_by_catastrophe depends on

[theemathas]

The two failures are spurious.

• The pass_by_catastrophe crate uses a proc macro from the magic_import crate. This macro automatically tries to guess, using some heuristics, what things should be imported. The heuristics failed, and the macro fell back to picking at random. It proceeded to incorrectly import the newly-stabilized Range type, instead of the old one.
• The records-in-rust crate has a build script that seemingly tries to write to the filesystem, which is (sometimes?) read-only on crater.