[Issue 7680] template specialization bug

[d-bugmail--- via Digitalmars-d-bugs]

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

Nick Treleaven  changed:

   What|Removed |Added

   Keywords||accepts-invalid

--- Comment #2 from Nick Treleaven  ---
With only the top overload present, the code compiles even though the argument
is `Bar!int`, not `Bar!(const int)`:

> template Foo26(T:Bar!(const T))

--

[Issue 7680] template specialization bug

[d-bugmail--- via Digitalmars-d-bugs]

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

Nick Treleaven  changed:

   What|Removed |Added

 CC||n...@geany.org

--- Comment #1 from Nick Treleaven  ---
The error is:

> tempspecconst.d(14): Error: template `tempspecconst.Foo26` matches more than 
> one template declaration:

> I'm not sure whether Bar!int should match Bar!(const T) in the first place.

Well this fails so I'd say no:

Bar!int b;
Bar!(const int) c = b;

--

[Issue 7680] template specialization bug

[d-bugmail--- via Digitalmars-d-bugs]

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

Iain Buclaw  changed:

   What|Removed |Added

   Priority|P2  |P3

--

[Issue 7680] template specialization bug

[via Digitalmars-d-bugs]

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

Andrei Alexandrescu  changed:

   What|Removed |Added

Version|unspecified |D2

--