Subject: [boost] [type_traits] is_base_of<B, D> should work when B is incomplete
From: Andrzej Krzemienski (akrzemi1_at_[hidden])
Date: 2016-03-03 16:57:46
I have filed the following ticket:
The Standard ([meta.rel]) requires that in std::is_base_of<B, D> D must be
a complete type, but it does not require the same of B. This makes sense,
because if we compare a complete type D and an incomplete type B, the
former is surely not derived from the latter.
In contrast, boost::is_base_of imposes an additional constraint that B must
also be complete. Could this restriction be lifted?
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk