https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88050
--- Comment #3 from Daniel Gutson <danielgutson at gmail dot com> --- It is not the same and doesn't cover important cases: for example, the opposite one, there is a nontrivial copy ctor implementation but there is no nontrivial dtor. Or even between the special ctors, or there is move ctor but no move assignment (and viceversa).