[boost] Re: is_base_and_derived question

From: Gennaro Prota (gennaro_prota_at_[hidden])
Date: 2003-01-30 13:25:34

On Thu, 30 Jan 2003 10:19:53 -0500, David Abrahams
<dave_at_[hidden]> wrote:

>Peter D. has effectively argued in the past that void *is* a supertype
>of everything (well, every object type, as opposed e.g. to
>function/function pointer types).  Given the foregoing discussion
>about squares and rectangles it may be the *only* supertype that we
>can detect with certainty.

And since Peter D. is not in the habit of making trivial errors, this
makes me wonder in fact what definition of "supertype" he was
considering.

Genny.