Correct closure observation, construction, and mutation on weak memory machines.
Related merge request !734 to merge memory-barrier
latest
merge request
19 jobs
165 minutes 10 seconds, queued for 2 seconds