On 12/22/2014 12:04 AM, Dicebot wrote:
Point of transitive scope is to make easy to expose complex custom data structures without breaking memory safety.
I do understand that. Making it work with the type system is another matter entirely - it's far more complex than just adding a qualifier. 'inout' looks simple but still has ongoing issues.
And the thing is, wrappers can be used instead of qualifiers, in the same places in the same way. It's much simpler.