isn't public the ``default`` for struct inheritance?