c++/9278: dependent type in conversion operator bug

[David Abrahams]

The following reply was made to PR c++/9278; it has been noted by GNATS.

From: David Abrahams <dave@boost-consulting.com>
To: Wolfgang Bangerth <bangerth@ticam.utexas.edu>
Cc: "Joseph S. Myers" <jsm28@cam.ac.uk>,  <gcc-bugs@gcc.gnu.org>,
	  <gcc-gnats@gcc.gnu.org>
Subject: Re: c++/9278: dependent type in conversion operator bug
Date: Mon, 13 Jan 2003 19:14:07 -0500

 Wolfgang Bangerth <bangerth@ticam.utexas.edu> writes:
 
 >> >   http://anubis.dkuug.dk/jtc1/sc22/wg21/docs/cwg_closed.html#18
 >> 
 >> Another obscure difference between C and C++.  In C you can use a typedef
 >> to void here <http://std.dkuug.dk/JTC1/SC22/WG14/www/docs/dr_157.html>.
 >
 > Thanks for pointing this out. This makes it very clear that the code is 
 > illegal and should not compile.
 >
 > Indeed a very obscure feature. (Although, I must admit that, I desperately 
 > needed something like that not too long ago and had to invent various 
 > template metaprogramming hoops to work around...)
 
 I needed exactly that yesterday, which is why it came up ;-)
 Using SFINAE to rule out certain conversions was my game, but it
 didn't fly :(
 
 -- 
                        David Abrahams
    dave@boost-consulting.com * http://www.boost-consulting.com
 Boost support, enhancements, training, and commercial distribution