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.
