Thread overview
[Issue 14359] [SDC] Allow inferring template parameter from type of template value parameter
[Issue 14359] DMD does not compile SDC test0154.d
Mar 28, 2015
ag0aep6g@gmail.com
Mar 29, 2015
Kenji Hara
Apr 11, 2015
yebblies
Apr 11, 2015
yebblies
Nov 30, 2018
Nick Treleaven
Dec 17, 2022
Iain Buclaw
March 28, 2015
https://issues.dlang.org/show_bug.cgi?id=14359

ag0aep6g@gmail.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
                 CC|                            |ag0aep6g@gmail.com

--
March 29, 2015
https://issues.dlang.org/show_bug.cgi?id=14359

--- Comment #1 from Kenji Hara <k.hara.pg@gmail.com> ---
How SDC works for following codes?

auto foo(T u, T)() {
   return typeof(u).stringof;
}

pragma(msg, foo(1));         // T is deduced to int ... it's reasonable.

pragma(msg, foo(1, int));    // typeof(1) is int by default, so it might be
accepted

pragma(msg, foo(1, long));   // typeof(u) will be long, or conflict happens?
pragma(msg, foo(1, double)); // typeof(u) will be double, or conflict happens?

pragma(msg, foo(1, string)); // definitely conflicts

--
April 11, 2015
https://issues.dlang.org/show_bug.cgi?id=14359

yebblies <yebblies@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |yebblies@gmail.com
           Hardware|x86                         |All
            Version|unspecified                 |D2
            Summary|DMD does not compile SDC    |[SDC] Allow inferring
                   |test0154.d                  |template parameter from
                   |                            |type of template value
                   |                            |parameter
                 OS|Mac OS X                    |All
           Severity|normal                      |enhancement

--- Comment #2 from yebblies <yebblies@gmail.com> ---
Is this supposed to work?  Change back to normal if so.

--
April 11, 2015
https://issues.dlang.org/show_bug.cgi?id=14359

--- Comment #3 from yebblies <yebblies@gmail.com> ---
*** Issue 14362 has been marked as a duplicate of this issue. ***

--
November 30, 2018
https://issues.dlang.org/show_bug.cgi?id=14359

Nick Treleaven <nick@geany.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |yshuiv7@gmail.com

--- Comment #4 from Nick Treleaven <nick@geany.org> ---
*** Issue 17279 has been marked as a duplicate of this issue. ***

--
December 17, 2022
https://issues.dlang.org/show_bug.cgi?id=14359

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P1                          |P4

--
December 13
https://issues.dlang.org/show_bug.cgi?id=14359

--- Comment #5 from dlangBugzillaToGithub <robert.schadek@posteo.de> ---
THIS ISSUE HAS BEEN MOVED TO GITHUB

https://github.com/dlang/dmd/issues/18963

DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB

--