Very limited shared promotion

[Timon Gehr]

On 22.06.19 22:32, Jonathan M Davis wrote:
> As long as @safe code doesn't actually benefit from the implicit conversion
> to scope shared, it makes no sense to me to have it happen. The entire point
> is for it to be used with @trusted stuff. And if that's the case, then why
> not just have the cast be explicit and @trusted like it normally would be?

Why would @safe code not benefit? Manu's use case is @safe code calling 
into a @trusted library.