On Tue, Oct 2, 2018 at 12:45 AM Walter Bright via Digitalmars-d <digitalmars-d@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"?
