http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54310

--- Comment #1 from Nathan Ridge <zeratul976 at hotmail dot com> ---
Richard Smith has suggested that GCC is actually allowed not to instantiate
'meta<int>' as per [temp.inst]/p6:

"If the overload resolution process can determine the correct function to call
without instantiating a class template definition, it is unspecified whether
that instantiation actually takes place."

If this is really what's happening - GCC is not instantiating 'meta<int>'
because it can determine without doing so that the first overload of 'foo' will
not be chosen - then I guess we can close this PR as INVALID.

Reply via email to