Fixes #2383 . Quite subtle, but I think I got it - I can make the minimal example from the issue into a test if preferred.
Details: The key problem was that when the ->unread of a { happened, the actual aligned state got modified, rather than the "safely neutralized" local state, which appears to be the primary purpose of this parameter type.
Fixes #2383 . Quite subtle, but I think I got it - I can make the minimal example from the issue into a test if preferred.
Details: The key problem was that when the
->unread
of a{
happened, the actual aligned state got modified, rather than the "safely neutralized" local state, which appears to be the primary purpose of this parameter type.