http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33518
--- Comment #10 from Jonathan Wakely 2011-02-25
11:13:07 UTC ---
Clang accepts it too.
It was probably fixed in 4.5 by Jason implementing the extended SFINAE rules
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33518
--- Comment #9 from Marc Glisse 2011-02-25
11:05:58 UTC ---
(In reply to comment #8)
> Ideally, we should figure in which release has been fixed. Do you think the
> small testcase in Comment #3 summarizes well the issue? Apparently works with
> 4
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33518
--- Comment #8 from Paolo Carlini 2011-02-25
10:54:37 UTC ---
Ideally, we should figure in which release has been fixed. Do you think the
small testcase in Comment #3 summarizes well the issue? Apparently works with
4.5.x too.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33518
Marc Glisse changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|
--- Comment #6 from bangerth at dealii dot org 2007-09-23 20:57 ---
(In reply to comment #5)
> This looks related to PR17410.
Uh, is this really the one you meant? PR 17410 is about template template
parameters and nested types, neither of which are at hand here...
W.
--
http://gc
--- Comment #5 from rguenth at gcc dot gnu dot org 2007-09-23 19:58 ---
This looks related to PR17410.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33518
--- Comment #4 from bangerth at dealii dot org 2007-09-23 18:29 ---
I can't seem to produce a wrong-code bug with this -- it appears that gcc
produces the error while investigating the overload set. If I make the
declaration of X::foo work for N::Q, then gcc apparently still doesn't
want
--- Comment #3 from bangerth at dealii dot org 2007-09-23 18:23 ---
This actually turns out to be a serious bug in several different ways.
Here's self-contained code:
---
namespace X {
template struct H { typedef typename T::type type; };
template typename H::type f
