[Bug c++/6709] typeof() cannot be used with the :: operator

[redi at gcc dot gnu dot org]

------- Comment #10 from redi at gcc dot gnu dot org  2010-03-08 14:40 -------
(In reply to comment #8)
> Hmm, I wonder what the current draft of C++0x says of decltype with this
> respect (right now we reject it).
> 

In Bug 43285 Comment 1 I said that I think decltype is invalid in this context,
which would make this a documentation bug for C++.

In the C++0x grammar:

simple-type-specifier:
  ::_opt nested-name-specifier_opt type-name
  ...
  decltype ( expression )

nested-name-specifier:
  type-name ::
  namespace-name ::
  nested-name-specifier identifier ::
  nested-name-specifier template_opt simple-template-id ::

type-name:
  class-name
  enum-name
  typedef-name

So decltype(expression) cannot appear in a nested-name-specifier


-- 


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