Hi John
Given that inline types can be flattened there is a possibility that data
races will occur in places where users were not expecting it before. So
your `__AlwaysAtomic` modifier is a necessary tool as the existing spec
will only enforce atomicity for 32bit primitives and references. I just
On Jan 13, 2020, at 1:44 PM, Tobi Ajila wrote:
>
> Hi John
>
> Given that inline types can be flattened there is a possibility that data
> races will occur in places where users were not expecting it before. So your
> `__AlwaysAtomic` modifier is a necessary tool as the existing spec will only
