Bug 21681 – Can't deduce recursive template function attributes

Example: void foo(S)(ref S s, int a) { if (--a) bar(s, a); s.m(); } void bar(S)(ref S s, int a) { if (--a) foo(s, a); s.m(); } struct S { int s; void m() @safe pure nothrow @nogc { s++; } } void main() @safe pure nothrow @nogc { S s; bar(s, 10); } ================ > rdmd playground.d onlineapp.d(27): Error: pure function D main cannot call impure function onlineapp.bar!(S).bar onlineapp.d(27): Error: @safe function D main cannot call @system function onlineapp.bar!(S).bar onlineapp.d(8): onlineapp.bar!(S).bar is declared here onlineapp.d(27): Error: @nogc function D main cannot call non-@nogc function onlineapp.bar!(S).bar onlineapp.d(27): Error: function onlineapp.bar!(S).bar is not nothrow onlineapp.d(24): Error: nothrow function D main may throw

Reduced example: void foo()(int a) { if (--a) bar(a); } void bar()(int a) { if (--a) foo(a); } void main() @safe pure nothrow @nogc { bar(10); } ============== onlineapp.d(15): Error: pure function D main cannot call impure function onlineapp.bar!().bar onlineapp.d(15): Error: @safe function D main cannot call @system function onlineapp.bar!().bar onlineapp.d(7): onlineapp.bar!().bar is declared here onlineapp.d(15): Error: @nogc function D main cannot call non-@nogc function onlineapp.bar!().bar onlineapp.d(15): Error: function onlineapp.bar!().bar is not nothrow onlineapp.d(13): Error: nothrow function D main may throw

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