• via Digitalmars-d-bugs (39/39) Aug 11 2016 https://issues.dlang.org/show_bug.cgi?id=16376

via Digitalmars-d-bugs <digitalmars-d-bugs puremagic.com> writes:

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

          Issue ID: 16376
           Summary: The specifications misses for overload resolution
                    order in mixin templates
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P1
         Component: dlang.org
          Assignee: nobody puremagic.com
          Reporter: b2.temp gmx.com

In this code

template F1(T)
{
   void bar() {}
}

template F2(T)
{
   mixin F1!T;
   void foo() { bar(); } // F3.bar or F1.bar ?
}

template F3(T)
{
   mixin F2!T;
   void bar() {} //

}

struct F4(T)
{
    mixin F3!T;
}

the specifications don't state which bar() will be called in this case. While
an identified mixin allows to call accurately one of the overload the default
behavior is not at all specified. 

We would expect the manual to explain which rule is followed in this case even
if the rule is "no rule".

--