Petr

Well, it's not a repro for the original issue, it was meant to be a repro for the @dupdob's theory, but now looks like yet something else :D

@dupdob Thanks for the explanations here. Also, do you think addressing this will somehow fix the original issue with result flakiness? Or that one still wants a repro on its...

Alright, yeah good to know. Anyway, glad this is to some use and will improve Stryker :)

Thanks a lot @dupdob!

Anyone here? Please? @moh-hassan @ericnewton76?

Closing in favor of https://github.com/dotnet/fsharp/issues/14157.

So where are we with this? The bug noticed by @cartermp is still there, I've just created a separate issue for that and will take it. But in general this...

@cartermp so there were more quirks, right? If you think the branch is still worth reactivating, I will take it from there. Also Phillip, do you know who can be...

Aaaanyway I'll try to bring back to life the aforementioned branch and fix the aforementioned issue then. Wish me luck

Hey @abelbraaksma do you think this is still an issue? I wanted to look into that and spent 15 mins scrolling like crazy our CheckExpressions.fs (10 KLOC) but didn't this...