You were pretty close with your hypothetical syntax! You can write:
let Some(y) = x else { do_stuff(); return };
I think it was a fairly recent addition to Rust.