Bug 6809 – IFTI should imply const where inout is present on args, but not on return type

example: void foo(T)(T v) { } inout(int)* bar(inout(int)* x) { foo(x); return x; } bug.d(1): Error: inout on parameter means inout must be on return type as well (if from D1 code, replace with 'ref') bug.d(1): Error: variable bug.foo!(inout(int)*).foo.v inout variables can only be declared inside inout functions bug.d(7): Error: template instance bug.foo!(inout(int)*) error instantiating It is safe for IFTI to assume all inout parameters are const instead of inout, since inout implicitly casts to const. However, inout should still be used where it participates in the return type. For example, this currently-valid code should continue to compile: T foo(T)(T v) { return v; } inout(int)* bar(inout(int)* x) { return foo(x); }

Compiles with dmd 2.059 Win32

By fixing 7105, it has been changed to valid code.