• d-bugmail puremagic.com (42/42) May 08 2011 http://d.puremagic.com/issues/show_bug.cgi?id=5962
• d-bugmail puremagic.com (10/10) May 08 2011 http://d.puremagic.com/issues/show_bug.cgi?id=5962
• d-bugmail puremagic.com (8/9) May 08 2011 http://d.puremagic.com/issues/show_bug.cgi?id=5962
• d-bugmail puremagic.com (9/9) May 08 2011 http://d.puremagic.com/issues/show_bug.cgi?id=5962
• d-bugmail puremagic.com (12/12) Jul 01 2011 http://d.puremagic.com/issues/show_bug.cgi?id=5962

d-bugmail puremagic.com writes:

http://d.puremagic.com/issues/show_bug.cgi?id=5962

           Summary: Template function declaration with prefixed storage
                    class and auto occurs conflict
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Keywords: rejects-valid
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody puremagic.com
        ReportedBy: k.hara.pg gmail.com



Following code compilation with -version=Prefix fails, but with -version=Suffix
succeeds.
----
struct S
{
  version(Prefix)
  {
          auto g()(){ return 1; }
    const auto g()(){ return 2; }
  }
  version(Suffix)
  {
    auto g()()      { return 1; }
    auto g()() const{ return 2; }
  }
}
void main()
{
    auto ms = S();
    assert(ms.g() == 1);
    auto cs = const(S)();
    assert(cs.g() == 2);
}
----

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

d-bugmail puremagic.com writes:

http://d.puremagic.com/issues/show_bug.cgi?id=5962


bearophile_hugs eml.cc changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bearophile_hugs eml.cc



Is this bug 4040 ?

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

d-bugmail puremagic.com writes:

http://d.puremagic.com/issues/show_bug.cgi?id=5962





 Is this bug 4040 ?

No. This issue is that passes on parsing but fails on semantic.
Bug 4040 is that fails on parsing.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

d-bugmail puremagic.com writes:

http://d.puremagic.com/issues/show_bug.cgi?id=5962




Applying const/immutable/shared storage_class to function type is done in
FuncDeclaration::semantic, but template function lookup is before running it.
So deducing function template with FuncDeclaration::type that not applied
storage classes occurs conflict.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

d-bugmail puremagic.com writes:

http://d.puremagic.com/issues/show_bug.cgi?id=5962


Walter Bright <bugzilla digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |bugzilla digitalmars.com
         Resolution|                            |FIXED



18:18:21 PDT ---
https://github.com/D-Programming-Language/dmd/commit/781df821312d9350e9e750993b77ff43c0c8e30d

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------