Re: Confused by refusal to expand template

[David]

Am 23.03.2012 23:52, schrieb H. S. Teoh:
Code:
        struct S {
                int f(K)(K x) {
                        return 1;
                }
                void func(K)(inout(K) x) {
                        auto h = f(x);
                }
        }
        void main() {
                S s;
                s.func("abc");        // This is line 44
        }
This refuses to compile:

test2.d(44): Error: template test2.S.func(K) does not match any function 
template declaration
test2.d(44): Error: template test2.S.func(K) cannot deduce template function 
from argument types !()(string)

Removing 'inout' fixes the problem. But I don't understand why.


T

I've never really used inout, but don't you need it also for the 
return-type? Furthermore you don't the the inout here, since this 
template does match const/immutable/nothing anyways.