Implement a workaround for the mono 5.0 cursor enumerator bug. #13317
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Closes #13135.
My debugging suggests that the issue only happens when we have a
SelectMany().OrderBy()
, which we only use here and in a few places that do rendering (PBOG, Carryalls, editor actor previews). I didn't notice any obvious issues with those, so I am reasonably confident based on the information at hand that we shouldn't have other more subtle (e.g. desync) bugs.