fn main() -> `[Option<i32>]` {
  `[None?;]`

  `[let x = Some(1);]`
  `[x]`
}