transporting qualifier from parameter to the return value

[Jason House]

Steven Schveighoffer Wrote:

> On Sat, 19 Dec 2009 18:35:13 -0500, Jason House  
> <jason.james.house at gmail.com> wrote:
> 
> > The meaning of inout by a nested function isn't obvious when the  
> > enclosing function is already using inout. Does inout of the nested  
> > function match that of the enclosing function? Or are they distinct. If  
> > distinct, there may semantically ambiguous cases...
> 
> One thing that inout does is [snip of very long, but off topic reply :(]

I meant functions nested inside of functions.

inout(A) foo(inout B b, inout C c){
  inout(D) bar(inout E e, inout F f){ ... }
  ...
}