[Bug c++/21783] [DR 409] Typename for required for qualified name?

[Bug c++/21783] [DR 409] Typename for required for qualified name?

[jason at gcc dot gnu dot org]

------- Comment #9 from jason at gcc dot gnu dot org  2009-03-03 21:30 -------
DR 409 was accepted in October 2004.


-- 

jason at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu dot org
             Status|SUSPENDED                   |NEW
   Last reconfirmed|2006-09-03 21:39:30         |2009-03-03 21:30:49
               date|                            |


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

[Bug c++/21783] [DR 409] Typename for required for qualified name?

[jason at gcc dot gnu dot org]

------- Comment #10 from jason at gcc dot gnu dot org  2009-11-08 04:07 -------
The testcase is well-formed under DR 224/409.

*** This bug has been marked as a duplicate of 9634 ***


-- 

jason at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |DUPLICATE


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

[Bug c++/21783] New: No typedef required when type use in a function

[florent dot gallet at orange dot fr]

template<class T> struct A {
  typedef int B;
  void f(typename A::B);    // illformed: typename required before A::B 
  A::B b;          // ok error detected
};

It's in the DRAFT: 25 November 1997
14.6 Name resolution

I don't know if that changed.
If someone could confirm.

-- 
           Summary: No typedef required when type use in a function
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: florent dot gallet at orange dot fr
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug c++/21783] [DR 409] Typename for required for qualified name?

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-06-07 19:07 -------
> There is a DR and surely another bug report about this. It's uncertain whether 
> typename is needed to disambiguate a qualified name where the scope is the 
> injected class name (which always refers to the current instantiation).

You're right Giovanni, it's DR 409.

The proposed solution is to not require the "typename".
But then we'd also have a bug, because GCC had to accept the declaration
A::B b;

So with either outcome of the DR, we'll have to change the compiler.
Let's suspend it until the DR is solved.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |SUSPENDED
            Summary|No typename required when   |[DR 409] Typename for
                   |type use in a function      |required for qualified name?


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