Thread overview
[Issue 10808] New: [REG2.064a] Incorrect typeid template argument should report error
Aug 12, 2013
Kenji Hara
Aug 12, 2013
Kenji Hara
Aug 12, 2013
Kenji Hara
Aug 18, 2013
Kenji Hara
August 12, 2013
http://d.puremagic.com/issues/show_bug.cgi?id=10808

           Summary: [REG2.064a] Incorrect typeid template argument should
                    report error
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Keywords: accepts-invalid
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody@puremagic.com
        ReportedBy: k.hara.pg@gmail.com


--- Comment #0 from Kenji Hara <k.hara.pg@gmail.com> 2013-08-12 06:28:16 PDT ---
This code fail to compile with 2.063, but doesn't with git head.

template Tuple(alias TPL)
{
    alias TPL Tuple;
}
auto K = Tuple!(typeid(char));

With 2.063:
test.d(5): Error: expression & D10TypeInfo_a6__initZ is not a valid template
value argument
test.d(5): Error: template instance test.Tuple!(& D10TypeInfo_a6__initZ) error
instantiating

With git head:
(no error)

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
August 12, 2013
http://d.puremagic.com/issues/show_bug.cgi?id=10808


Kenji Hara <k.hara.pg@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull


--- Comment #1 from Kenji Hara <k.hara.pg@gmail.com> 2013-08-12 07:48:29 PDT ---
https://github.com/D-Programming-Language/dmd/pull/2464

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
August 12, 2013
http://d.puremagic.com/issues/show_bug.cgi?id=10808


Kenji Hara <k.hara.pg@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |regression


-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
August 18, 2013
http://d.puremagic.com/issues/show_bug.cgi?id=10808



--- Comment #2 from github-bugzilla@puremagic.com 2013-08-17 23:31:40 PDT ---
Commit pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/62b152bc47e325c723b6af2507ad8db7d2ee9a5e
fix Issue 10808 - [REG2.064a] Incorrect typeid template argument should report
error

By the commit 1fdbfa65b8568837567533fb79d1b56ab88465ab, mangled name of template instance is lazily calculated and Expression::toMangleBuffer call is sometimes avoided. Then the case fail235.d was silently broken.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
August 18, 2013
http://d.puremagic.com/issues/show_bug.cgi?id=10808


Kenji Hara <k.hara.pg@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


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