Variable in scope is not visible after a bang!-operation in CE

Repro.zip

At least in the async CE, after a monadic operation (let!/do!/match! etc.), variables in the debugger suddenly seem to go out of scope:

module Program =

  let f x =
    async {
      do! async.Return ()
      return 1
    }

  [<EntryPoint>]
  let main _argv =
    f 0 |> Async.RunSynchronously |> printfn "%A"
    0

(Screenshots from Rider. Originally reported there, but was redirected here.)

[vzarytovskii]

Any chance to have a look at this? It’s making debugging rather cumbersome, since I have to insert spurious code everywhere just to be able to break on and inspect the variables I’m after.

It’s not as trivial unfortunately, and will likely require some substantial changes. We’ll see when we can plan it.

[cmeeren]

MSBuild 17.0, SDK 6.0.300.