Skip to main content

E0058: let ... else Fallback Does Not Diverge

The else block of a pattern binding must exit the surrounding control flow. This ensures that every binding introduced by the pattern exists after the statement.

End every path through the fallback with return or resume.

let Result::Ok(value) = result else { return; };