[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-23 04:27 -------
Confirmed, to ...

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
      Known to fail|                            |2.95.3 3.3.5 4.0.0
   Last reconfirmed|0000-00-00 00:00:00         |2005-06-23 04:27:34
               date|                            |


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

[Bug c++/22154] New: [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[pinskia at gcc dot gnu dot org]

The following should compile according to this DR report (but it is only in ready state so I am going to 
confirm it and then suspend it):
class a {};
typename ::a f();

Also the following should not compile as a is not qualified then:
class a {};
typename a f();

-- 
           Summary: [DR 382] qualified names should allow typename keyword
                    in front of it (even in non-templates)
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-23 04:28 -------
Suspend this as it only in the ready state.

-- 


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-23 05:05 -------
Oh and I thought I saw a bug or two about this before.

-- 


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2005-06-23 14:58 -------
Subject: Re:  New: [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

"pinskia at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| The following should compile according to this DR report (but it is only in ready state so I am going to 
| confirm it and then suspend it):
| class a {};
| typename ::a f();
| 
| Also the following should not compile as a is not qualified then:
| class a {};
| typename a f();

If that is what the DR says, then the DR does not make any sense...

-- Gaby


-- 


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

Re: [Bug c++/22154] New: [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[Gabriel Dos Reis]

"pinskia at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| The following should compile according to this DR report (but it is only in ready state so I am going to 
| confirm it and then suspend it):
| class a {};
| typename ::a f();
| 
| Also the following should not compile as a is not qualified then:
| class a {};
| typename a f();

If that is what the DR says, then the DR does not make any sense...

-- Gaby

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-23 15:04 -------
(In reply to comment #4)
> If that is what the DR says, then the DR does not make any sense...
Hey I am just reading what it says:
<http://www.open-std.org/JTC1/SC22/WG21/docs/cwg_active.html#382>.

DR 468 is about allowing ::template outside of templates.

I am not making this up.

-- 


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2005-06-23 18:13 -------
Subject: Re:  [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

"pinskia at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| ------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-23 15:04 -------
| (In reply to comment #4)
| > If that is what the DR says, then the DR does not make any sense...
| Hey I am just reading what it says:
| <http://www.open-std.org/JTC1/SC22/WG21/docs/cwg_active.html#382>.
| 
| DR 468 is about allowing ::template outside of templates.
| 
| I am not making this up.

I'm not saying you're making it up.  It just strikes me that the new
"subtlities" don't make much sense.

-- Gaby


-- 


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |SUSPENDED


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