`shared`...

[Manu]

On Tue, Oct 2, 2018 at 12:45 AM Walter Bright via Digitalmars-d
<digitalmars-d at puremagic.com> wrote:
>
> On 10/1/2018 7:31 PM, Manu wrote:
> > Surely `scope` must be transitive?
>
> It isn't.
>
> > How could it work otherwise?
>
> It's a storage class, not a type constructor. There is no "pointer to scope"
> type, for example. Having it transitive would make it unworkable, actually, for
> similar reasons that transitive const makes some uses of C++ const unworkable in D.

So... `scope` says "I won't escape this, but I may escape anything
this points to"?