[Issue 13745] New: Circular CTFE properties deduction does not work

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=13745

          Issue ID: 13745
           Summary: Circular CTFE properties deduction does not work
           Product: D
           Version: D2
          Hardware: x86
                OS: All
            Status: NEW
          Severity: blocker
          Priority: P1
         Component: DMD
          Assignee: nob...@puremagic.com
          Reporter: ilyayaroshe...@gmail.com

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'

--