Fixes to `manual_let_else`'s divergence check#11787

Merged

bors merged 2 commits intorust-lang:masterfrom

Jarcho:divergence_check

Nov 12, 2023

Commits on Nov 9, 2023

Lift `expr_diverges` to `clippy_utils` as `is_never_expr`
Jarcho
committed
Change divergence checking to match the compiler's type system based definition of divergence.
Jarcho
committed