Incorrect output when special member function is default

[adromanov]

Output is incorrect when special member function is marked default outside of a class definition:

struct Base
{
    Base();
    Base(const Base &);
    ~Base();
};

Base::Base() = default;
Base::Base(const Base &) = default;
Base::~Base() = default;

Output is:

struct Base
{
	Base();
 
 ;
    Base(const Base &);
    
    ;
    ~Base() noexcept;
    ;
};

Base::Base() = default;

{
}

 = default;
Base::Base(const Base &) = default;

{
}

 = default;
Base::~Base() noexcept
{
}
 = default;

[andreasfertig]

Thanks for reporting it!

[adromanov]

1. What about extra semicolons in a class definition? I believe this is not related to this issue, but still. Is there a case already for that?
2. Maybe the output of

struct Base
{
    ~Base();
};
Base::~Base() = default;

should be

struct Base
{
    ~Base() noexcept;
};
Base::~Base() noexcept = default; // noexcept here also

instead of

struct Base
{
    ~Base() noexcept;
};
Base::~Base() = default;

I suppose it should since insights inserts noexcept to all places where it is true. What do you think about it?

[andreasfertig]

Hello adromanov,

1. I belief they are also handled better with that fix.
2. That's a good idea.