On Tue, 28 Jan 2003 10:47:52 -0800, "Andrei Alexandrescu" <[EMAIL PROTECTED]> wrote:
>"Peter Dimov" <[EMAIL PROTECTED]> 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. _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost