Bug 11556 – named nested functions in templates are not infered

IS this known? I couldn't find it. Anyways, I think this is supposed to work (I *thought* it worked...): //---- void foo(T)(T t) { void bar() {} bar(); } void main() @safe pure nothrow { foo(5); //Derp } //---- Produces: //---- Error: safe function 'D main' cannot call system function 'hello.foo!int.foo' Error: 'hello.foo!int.foo' is not nothrow Error: function 'D main' is nothrow yet may throw //---- EG: In this context, "bar" is not infered, which makes it so that "foo" is not inferred either. I think this is wrong. What is strange is that if the function call is a lambda, then everything is fine: //---- void foo(T)(T t) { (){}(); } void main() @safe pure nothrow { foo(5); //OK! } //----

*** This issue has been marked as a duplicate of issue 10329 ***