I tend to agree. You seem to have shown that reusing inout for scope information becomes confusing. -- Andrei
What is the problem with using inout exactly as it is now (== both for argument and return type) but defining it to propagate aliasing information as it is decribed in DIP25?
