```rust #![feature(try_blocks)] pub fn foo() { let _: Result<(), ()> = try { loop { // anything here } }; } ``` Here, the entire `loop` expression is reported unreachable, despite not being so. This is similar to https://github.com/rust-lang/rust/issues/54165, and probably has the same underlying issue.