Mike Conley <[EMAIL PROTECTED]> writes:
> "John Maddock" <[EMAIL PROTECTED]> wrote in
> news:[EMAIL PROTECTED]:
>
>> The problem is that the question "is A convertible to B" has four
>> answers: yes, no, ill-formed, and ambiguous :-(
>>
>> John.
>
> Obviously, I think there should be only two :)
"John Maddock" <[EMAIL PROTECTED]> wrote in
news:[EMAIL PROTECTED]:
> The problem is that the question "is A convertible to B" has four
> answers: yes, no, ill-formed, and ambiguous :-(
>
> John.
Obviously, I think there should be only two :) That is, it would be nice
to have a test that tell
Mike Conley <[EMAIL PROTECTED]> writes:
> David Abrahams <[EMAIL PROTECTED]> wrote in
> news:[EMAIL PROTECTED]:
>
>> This one is sticky.
>>
>> class Y : X { true_type f() { return is_convertible::type();
>> } }; false_type x = is_convertible::type();
>>
>
> I'm not sure I see the pr
David Abrahams <[EMAIL PROTECTED]> wrote in
news:[EMAIL PROTECTED]:
> This one is sticky.
>
> class Y : X { true_type f() { return is_convertible::type();
> } }; false_type x = is_convertible::type();
>
I'm not sure I see the problem here. If is_convertible is a built in
compile