<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I think that should be consistent with the deduction mechanism proposed<br>
in the DIP: foo is struct not in scope until template foo(T) is instantiated.<br></blockquote></div></blockquote><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
</blockquote></div>
No it is not. The DIP states "find all constructors".</blockquote><div><br></div><div>it said  '<span style="background-color:rgb(255,255,255);font-family:sans-serif;font-size:13px;line-height:19.1875px">Find all matching class/struct types in scope', isn't that enough or am I missing something?</span></div>
<div><span style="background-color:rgb(255,255,255);font-family:sans-serif;font-size:13px;line-height:19.1875px"><br></span></div><div><span style="background-color:rgb(255,255,255);font-family:sans-serif;font-size:13px;line-height:19.1875px">To clarify, </span>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.</div>
<div>see the ones marked '//not in scope'</div><div><br></div><div> </div></div><br>