From: David Abrahams <dave@boost-consulting.com>
"Paul Mensonides" <pmenso57@comcast.net> writes:
The problem here is that there is no way for argument deduction to succeed with an anonymous type because an anonymous type cannot be bound to a template argument--meaning that argument deduction must fail before it even tries.
Maybe I am misunderstanding what Paul is saying here, but it seems to me if it argument deduction was currently supposed to fail when passed a type without linkage, http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#488 wouldn't exist.
Doesn't the issue suggest that what is currently supposed to happen is vague, so one can only determine empirically what a given compiler will do? -- Rob Stewart stewart@sig.com Software Engineer http://www.sig.com Susquehanna International Group, LLP using std::disclaimer;