On Wednesday, 11 December 2019 at 13:28:36 UTC, RazvanN wrote: > > I see, so basically the compiler simply checks that accesses to > shared data are made by calling functions that receive shared > data. The leafs will modify the data via inline assembly or > external functions. > Correct.