fn foo(`[x: i32]`) -> `[Option]` { let y = 1; `[if x > 0 { return None; }]` `[let z = 2;]` `[return Some(z);]` }