CWG 2024-06-14

The proposed resolution does not work, because utterances such as "a default constructor is implicitly declared if no constructor is user-declared" become circular. The eventual definition should address the question whether constructors inherited from a base class are considered user-declared in the inheriting class.