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.