[Issue 2025] Inconsistent rules for instantiating templates with a tuple parameter

[d-bugmail at puremagic.com]

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



--- Comment #7 from yebblies <yebblies at gmail.com> 2012-02-01 23:32:47 EST ---
(In reply to comment #6)
> What has a "better match" to do with anything?  (int) matches the pattern (T)
> perfectly - no conversion, implicit or explicit.  True, (T: int) is a more
> specialised match, 
> inexact.
> 

more specialized == better match.  That is how template type deduction works.

> but that doesn't magically render the match with (T)

That's why I called it a hack.


> > See issue 4953 for another case it causes problems.
> 
> That's different - 5 is an int, so it doesn't exactly match the pattern (short
> x).

I know it's different, I wrote the patch for it.  The hack causes problems
there too.

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