Auto merge of rust-lang#144783 - folkertdev:loop-match-diverging-loop, r=SparrowLii

fix `#[loop_match]` on diverging loop

tracking issue: rust-lang#132306

fixes rust-lang#144492
fixes rust-lang#144493

fixes rust-lang#144781

this generated invalid MIR before. issue rust-lang#143806 still has an issue where we assign `state = state` which is invalid in MIR. Fixing that problem is tricky, so I'd like to do that separately.

r? `@bjorn3`

Author: bors