id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
12027,"is_base_of<B, D> should work ehen B is incomplete",akrzemi1,John Maddock,"The Standard ([meta.rel]) requires that in 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:

http://www.boost.org/doc/libs/1_60_0/libs/type_traits/doc/html/boost_typetraits/reference/is_base_of.html

Can you remove this extra constraint? It appears to be spoiling one Boost.Optional tests:

http://www.boost.org/development/tests/master/developer/output/oracle-sparc-S2-12-5-cpp11-boost-bin-v2-libs-optional-test-optional_test-test-sun-12-5_cpp11-release-threading-multi.html",Bugs,closed,To Be Determined,type_traits,Boost 1.61.0,Problem,wontfix,,