[Issue 1597] It is not possible to specialize template on associative array.

[d-bugmail at puremagic.com]

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





------- Comment #4 from andrei at metalanguage.com  2007-10-19 18:04 -------
(In reply to comment #3)
> (In reply to comment #2)
> > won't work because it's unclear whether E is a newly-introduced symbol ("must
> > be inferred") or a previously-defined symbol ("must be E that I defined in this
> > module").
> 
> What's wrong with the C++ way of specifying specializations?
> Just
>    void parse(T[])() {}
> 

It has the same problem. Consider:

// wanna specialize on hashes, and also pattern match T and U! Cool!
void parse(T[U])() {} 

Now if the same module adds or imports a type called U, a bad time is being
had.


--