Ok, I see what you mean. But what the template gives us is: const(T)[] f(const(T)[] t) { ... } T[] f(T[] t) { ... } whereas what Steven is asking for is: T[] f(const(T)[] t) { ... }