[Bug c++/13967] A warning could be emitted if a template parameter of a member template is begin shadowed by another member of the class

["gianni at mariani dot ws" <gcc-bugzilla at gcc dot gnu dot org>]

------- Additional Comments From gianni at mariani dot ws  2004-02-07 08:25 -------

Given this from William M. Miller - should we now reconsider reverting the
summary to the original one ?


Cut-n-paste from microsoft.public.vc.language ...
............................

That Bugzilla thread ends with an incorrect assertion about what the
"correct" behavior is.  It reports that John Spicer agreed that the
sample was ill-formed, but he later recanted that position -- he had
been looking at the wrong example in the voluminous discussion on
the reflector, and when he looked at the example in question, he said
it was well-formed.

Although Gaby has now agreed, I think, that the EDG (Comeau) compiler
has it right, I wouldn't consider the question resolved.  There's
been no vote to establish consensus among the core working group, and
at least three major compilers currently get a different answer from
the EDG compiler.  Furthermore, I believe Gaby's acceptance of the
EDG resolution is contingent on making the construct ill-formed, so
it won't matter which way the resolution goes.  I'm sure this will
be discussed at next month's Standard Committee meeting, and Microsoft
is expected to be represented there.  I hope that we'll be able to
come to consensus on the outcome then, but we'll have to wait and see.

-- William M. Miller
   The MathWorks, Inc.

..........................



-- 


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