------- Additional Comments From schlauerhamster at yahoo dot de 2005-03-24
21:53 -------
Oh, well, just found this sentence here in [temp.inst] of the Standard
("Implicit instantiation"):
"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."
This means that in my example the instantiation von "typename B<T
const>::Type" is allowed (but not required), and the compiler has the option
to reject the code.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20627
