Inherited constructors inherit 'constexpr' from the designated base; B::B isn't constexpr because A::A isn't, and we should say that at the beginning of is_valid_constexpr_fn. Jason