Bug 4759 – Generic matching not working with alias parameters

Consider: struct A(alias pred) {} void fun(alias pred)(A!(pred) ax) {} void main() { A!("x") a; fun(a); } Result: Error: template test.fun(alias pred) does not match any function template declaration Error: template test.fun(alias pred) cannot deduce template function from argument types !()(A!("")) The code works as expected if the alias is replaced with a type parameter.

Works in 2.063alpha.

Commit pushed to master at https://github.com/D-Programming-Language/phobos https://github.com/D-Programming-Language/phobos/commit/a2450fd1a563575c800c37b1d351ed3ae0d11de8 Properly document BoyerMooreFinder Before it was ditto-ing the find(haystack, needles) docs which return a tuple instead. Move boyerMooreFinder above the struct so ddoc finds a parameter name. Remove note about bug 4759, which is now resolved.

Commit pushed to 2.067 at https://github.com/D-Programming-Language/phobos https://github.com/D-Programming-Language/phobos/commit/a2450fd1a563575c800c37b1d351ed3ae0d11de8 Properly document BoyerMooreFinder