[Bug c++/9278] Illegal use of typedef to "void"

[dave at boost-consulting dot com]

------- Additional Comments From dave at boost-consulting dot com  2004-01-14 18:24 -------
Subject: Re:  Illegal use of typedef to "void"

"giovannibajo at libero dot it" <gcc-bugzilla@gcc.gnu.org> writes:

> ------- Additional Comments From giovannibajo at libero dot it  2004-01-14 15:31 -------
> Dave,
>
> can you prepare a small self-contained testcase which uses this feature in the 
> SFINAE context? It'd be really useful to prepare a full fix for this issue. 

I'm not sure anymore what I had in mind when I submitted it (over a
year ago), but looking over the history of this bug, I think I've been
roundly misinterpreted.  For me, the supplied code sample has always
failed to compile:

  $ g++-3.3.1 /tmp/fu.cpp
  /tmp/fu.cpp:9: error: `X::operator Y<T>(typename voidify<T>::type)' must take
     `void'

  $ g++-2 /tmp/fu.cpp
  /tmp/fu.cpp:9: `X::operator Y<T>(typename voidify<T>::type)' must take `void'
  /tmp/fu.cpp:9: `X::operator Y<T>(typename voidify<T>::type) const' must take `void'

I might have misread the CWG issue
http://anubis.dkuug.dk/jtc1/sc22/wg21/docs/cwg_closed.html#18,
thinking it was a defect.



-- 


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