new DIP40: Template parameter deduction for constructors

[Timothee Cour]

>
> I think that should be consistent with the deduction mechanism proposed
>> in the DIP: foo is struct not in scope until template foo(T) is
>> instantiated.
>>
>

>  No it is not. The DIP states "find all constructors".


it said  'Find all matching class/struct types in scope', isn't that enough
or am I missing something?

To clarify, I've added 3 out of scope structs named A in the example
section to clarify that they won't be included in the overload set.
see the ones marked '//not in scope'
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.puremagic.com/pipermail/digitalmars-d/attachments/20130514/c2d174e3/attachment.html>