Yes, the `else` branch in `let else` is required to diverge.

		kibwen on Nov 3, 2022 \| parent \| context \| favorite \| on: Rust 1.65.0 Yes, the `else` branch in `let else` is required to diverge.