Bug 6963 – pure/nothrow inference doesn't work for function pointers

void foo(X)(X x) {} immutable void function(int) pure bar = &foo!(int); test.d(7): Error: cannot implicitly convert expression (& foo) of type void fun ction(int x) to immutable(void function(int) pure) Incidentally, this code: immutable nothrow pure bar = &foo!(int); compiles without error, but bar isn't pure nothrow!

It doesn't occur if the declarations are in function scope. void foo(X)(X x) {} // doesn't work //immutable void function(int) pure bar1 = &foo!(int); //immutable nothrow pure bar2 = &foo!(int); void main() { // does work immutable void function(int) pure bar1 = &foo!(int); immutable nothrow pure bar2 = &foo!(int); }

Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/0c86463e012dc6f95d996e0d627ca177a23e730a fix Issue 6963 - pure/nothrow inference doesn't work for function pointers If the VarDeclaration is not a compile time constant, defer semantic of it's initializer. https://github.com/D-Programming-Language/dmd/commit/f6a212814630113441a567777a307a197400b922 Merge pull request #544 from 9rnsr/fix6963 Issue 6332 & 6356 & 6963 - Ignite pure/nothrow inference for template function

Seems fixed now.