On 09/09/2012 05:32 PM, kenji hara wrote: > ... > Then the elements of returned value keep original type modifier. > ... Usually .dup or .idup are used to explicitly change the type modifier, and they still allow type deduction. I'd be fine with having .dup be inout, .mdup mutable and .idup immutable.