Re: [boost] another is_convertible corner case

From: David Abrahams (dave_at_[hidden])
Date: 2003-01-21 13:05:16

"John Maddock" <jm_at_[hidden]> writes:

>> By the same reasoning, is_convertible<void(), void(*)()> should evaluate
> to
>> true, since a function type is implicitly convertible to its pointer type.
>> But given the current implementation (1.29.0),
>> is_convertible<void(),void(*)()> doesn't compile.
>>
>> Opinions?  Is this just too nit-picky?
>
> You're probably right, I guess we should convert non-object types to
> references internally so that cases like this will actually compile.

John, do you intend to follow up on these?  I'm just asking because
I'm a little unclear on the assignment of maintenance responsibility
for type_traits at the moment.

Thanks,
Dave

-- 
                       David Abrahams
   dave_at_[hidden] * http://www.boost-consulting.com
Boost support, enhancements, training, and commercial distribution