When is_base_of is "called" with an incomplete type, then it may silently "return" an incorrect result. Would it not be better if is_base_of failed to compile with incomplete types? Johan Råde CTO, Qlucore AB