This still doesn't explain the deadlock, which is what @nsc is asking about, and nobody seems to have provided any explanation so far. Although the code is using a known anti-pattern (as explained here), it should be able to make forward progress and not deadlock the concurrency runtime.
3 Likes