Very limited shared promotion

[Meta]

On Friday, 21 June 2019 at 17:32:08 UTC, Kagamin wrote:
> On Friday, 21 June 2019 at 12:07:06 UTC, Manu wrote:
>> There is no "between threads" unless you have already entered 
>> @trusted land.
>
> @trusted doesn't break the guarantees advertized by the type 
> system; when it does, it's a bug that should be fixed (in code, 
> not in language). It's only the compiler is not smart enough to 
> verify that @trusted code uphold the type system.

@trusted is allowed to do whatever it wants internally, as long 
as it provides a *safe* interface. I believe that's what Manu's 
getting at in regards to his @safe/@trusted distinction in 
regards to threading.