On Wednesday, 4 November 2015 at 23:07:42 UTC, Yuxuan Shui wrote:
I think this is a reasonable use case:auto A(R, S)(R a,S b) {return a+b;} auto B(alias f)(){return f(1, 1.0);} void main{writeln(B!(A!int)());}
Currently this is doable by moving the parameters that are to be explicitly instantiated to an outer template:
template A(R) { auto A(S)(R a,S b) {return a+b;} }