From: Gennaro Prota (gennaro_prota_at_[hidden])
Date: 2003-01-30 04:26:13
On Tue, 28 Jan 2003 10:47:52 -0800, "Andrei Alexandrescu"
<andrewalex_at_[hidden]> wrote:
>"Peter Dimov" <pdimov_at_[hidden]> wrote in message
>> While we're at it, is the final verdict that is_base_and_derived<void, X>
>> should be false? What about is_base_and_derived<void, void>?
>
>Well, clearly void is no base. Even if we also define is_super_and_subtype,
>void is hardly a supertype of everything.
Could you please clarify this? You mean:
T is a subtype of U <=> ...?...
T is a supertype of U <=> ...?...
Genny.