[Issue 12466] Template type parameter should not require a new symbol for deducing a type

[d-bugmail at puremagic.com]

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

Andrej Mitrovic <andrej.mitrovich at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |INVALID

--- Comment #1 from Andrej Mitrovic <andrej.mitrovich at gmail.com> ---
I think this is incorrect. The first version is what's documented as required
in order to make it possible to derive those types. The second version in 'bar'
would require a DIP.

--