Can't make inout work.

[spir]

On 16/03/2019 04:49, Paul Backus via Digitalmars-d-learn wrote:
> On Friday, 15 March 2019 at 23:57:15 UTC, aliak wrote:
>> Anyone knows how to make this work?
> 
> You need an explicit `inout` on the return value of `make`:
> 
> auto ref make(T)(inout auto ref T value) {
>      return inout(S!T)(value);
> }

I think (but may be wrong) that you don't need inout here, since a plain 'ref' 
will (and does) work. This is accepted by me (I added vars to make the code 
clearer to myself):

struct S(T) {
     T value = T.init;
}

auto ref make(T)(ref T value) {
     return S!T(value);
}

auto ref f(T)(ref S!T s) {
     return make(s.value);
}

void main() {
     class C {}
     C c ;
     auto s1 = S!C(c) ;
     auto s2 = make!C(c) ;
     auto s3 = f!C(s2) ;
}