Bug 13745 – Circular template attributes inference does not work

void foo(T)(T i) { if(i) bar(--i); } void bar(T)(T i) { foo(i); } @safe unittest { foo(10u); } ======== test6_2.d(13): Error: safe function 'test6_2.__unittestL11_1' cannot call system function 'test6_2.foo!uint.foo'

Just wanted to add, that while this test case may look artificial, it reflects actual usage in Phobos where you may have one generic function instantiated in such a way that further down the road it gets re-instantiated. Such chains of dependencies are often buried deep within Phobos modules implicitly, due to the generic nature of most of Phobos modules, so this is a real, practical problem.

Related: - https://github.com/D-Programming-Language/phobos/pull/2732 (first 2 commits of this PR exhibits this problem after a change in import) - https://github.com/D-Programming-Language/phobos/pull/2737 (comments explain how to reproduce the problem)

Commits pushed to master at https://github.com/D-Programming-Language/phobos https://github.com/D-Programming-Language/phobos/commit/591d616dd5478b31e94beaa00cfaefeebf0a8045 avoid triggering issue 13745 in further improvements to come https://github.com/D-Programming-Language/phobos/commit/03512786f2bfc86c2820e6688baae86aec637d10 Merge pull request #2737 from 9il/exc avoid triggering issue 13745 in further improvements to come

Commits pushed to 2.067 at https://github.com/D-Programming-Language/phobos https://github.com/D-Programming-Language/phobos/commit/591d616dd5478b31e94beaa00cfaefeebf0a8045 avoid triggering issue 13745 in further improvements to come https://github.com/D-Programming-Language/phobos/commit/03512786f2bfc86c2820e6688baae86aec637d10 Merge pull request #2737 from 9il/exc