[Issue 493] Partial IFTI does not work

[d-bugmail at puremagic.com]

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


wbaxter at gmail.com changed:

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




------- Comment #2 from wbaxter at gmail.com  2008-02-20 21:40 -------
(In reply to comment #1)
> DMD 2.011 was enhanced to do this.
> 

And this isn't a bug in D1 because...?

As far as I can tell, the spec says only this about IFTI:
"""
Function templates can be explicitly instantiated ...
or implicitly, where the TemplateArgumentList is deduced from the types of the
function arguments
"""

It doesn't say anything about only working when it's convenient or when the
stars are aligned properly.  The conclusion I draw is that any failure to
deduce a type when the information required to deduce it is there is a bug.


--