The following reply was made to PR c++/10261; it has been noted by GNATS.

From: "Giovanni Bajo" <giovannibajo@libero.it>
To: <gcc-gnats@gcc.gnu.org>,
	<gcc-bugs@gcc.gnu.org>,
	<nobody@gcc.gnu.org>,
	<gcc-prs@gcc.gnu.org>,
	<bbaetz@acm.org>
Cc:  
Subject: Re: c++/10261: g++ does not error for bogus |typename| inside a templated class
Date: Mon, 7 Apr 2003 13:08:36 +0200

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&p
 r=10261
 
 >> Not a bug. §14.6p5:  "The keyword typename shall only be used in template
 > > declarations and definitions [...]  The keyword typename shall only be
 > > applied to qualified names, but those names need not be dependent."
 
 > right, I wasn't complaining about the first two bits, which should be
 > erroring, but rather pointing out the second two lines.
 
 Please read again: "The keyword typename shall only be applied to qualified
 names, but those names *NEED NOT* be dependent."
 In your example, in the second two lines, foo<int>::value_type is a
 non-dependent qualified name. Use of typename is allowed but not required.
 
 >Yeah, I think I misread the DR,
 
 Yup, that DR has nothing to do with this.
 
 Giovanni Bajo