Oops...
1- Turns out the check_bases_and_members change has to happen earlier, because we want to fixup the exceptions before check_bases, otherwise we reject things like (in the C++ library and elsewhere):


struct True2 { virtual ~True2() noexcept; };

template <typename Base>
struct C : Base
{
  ~C();
};
Last line of the snippet missing:

    C<True2> c;

Paolo.

Reply via email to