Not consistent access check for overloaded symbols

[dlangBugzillaToGithub]

Kenji Hara (@9rnsr) reported this on 2013-07-10T19:08:40Z

Transferred from https://issues.dlang.org/show_bug.cgi?id=10604

CC List

• Martin Nowak (@MartinNowak)

Description

Test case:

moduel a;
version(A)
{
    private template X(T) { enum X = 1; }
    public  template X(size_t n) { enum X = 2; }

    private void foo(int) {}
    public  void foo(string) {}
}
version(B)
{
    public  template X(size_t n) { enum X = 2; }
    private template X(T) { enum X = 1; }

    public  void foo(string) {}
    private void foo(int) {}
}

module b;
import a;
void main()
{
                        // version=A    B
    auto x1 = X!int;    //  Error       OK
    auto x2 = X!100;    //  Error       OK

    foo(100);           //  Error       Error
    foo("a");           //  Error       OK
}

[dlangBugzillaToGithub]

github-bugzilla commented on 2014-03-15T16:49:27Z

Commit pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/5b7e797b67d760fad05a84f739217d0de830026e
Add "FIXME" comment for issue 10604 in ScopeDsymbol::search