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

Nathan S. <n8sh.secondary@hotmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |n8sh.secondary@hotmail.com

--- Comment #1 from Nathan S. <n8sh.secondary@hotmail.com> ---
```
  int t(T : int)(int x)
  {
    return x * 2;
  }
```

What is the point of the template?

--

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

--- Comment #2 from Manu <turkeyman@gmail.com> ---
It's a specialisation.

Someone might call `t!(IDontKnowWhat)(value);`, and if IDontKnowWhat is int, it
should use that specialisation, and if it's not, it should instantiate the
generic unspecialised one.

It also affects function mangling, and extern linkage.

--

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

Manu <turkeyman@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |C++, industry
           Severity|normal                      |major

--- Comment #3 from Manu <turkeyman@gmail.com> ---
This is actually pretty problematic issue...

--

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

RazvanN <razvan.nitu1305@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |razvan.nitu1305@gmail.com

--- Comment #4 from RazvanN <razvan.nitu1305@gmail.com> ---
Why is this problematic? That is a template specialization for types that convert to int so adding the symbol t!int to the object file would not be very accurate.

--

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

--- Comment #5 from Manu <turkeyman@gmail.com> ---
Sorry, it should probably be '=', not ':'...

--

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

--- Comment #6 from Manu <turkeyman@gmail.com> ---
But you get the idea...

--

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

Manu <turkeyman@gmail.com> changed:

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

--