[Issue 5793] Types can't be inferred from template argument types

[via Digitalmars-d-bugs]

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

Vladimir Panteleev <thecybershadow at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |thecybershadow at gmail.com
         Resolution|---                         |WONTFIX

--- Comment #1 from Vladimir Panteleev <thecybershadow at gmail.com> ---
I don't think D can or ever will reverse-match types to template instantiations
(finding which parameters for a template will result in a given result),
because D templates can be arbitrarily complicated.

--