Sorry I was wrong,

> The rules of C++ quite clearly state

that the declaration/definition of a constructor (any constructor) suppresses the generation of a default constructor.