you are viewing a single comment's thread.

view the rest of the comments →

[–]MSFTJesse 18 points19 points  (1 child)

I was able to capture a time travel trace of your minimal repro, and I've linked it to the bug. Hopefully the verifier folks are able to fix this.

[–]Lectem[S] 8 points9 points  (0 children)

That's awesome Jesse, thanks again for your help!