Revert "Auto merge of #80357 - c410-f3r:new-hir-let, r=matthewjasper"#88401

richkadel wants to merge 1 commit intorust-lang:masterrust-lang/rust:masterfrom

richkadel:revert_80357richkadel/rust:revert_80357Copy head branch name to clipboard