Здравствуйте, B0FEE664, Вы писали:

BFE>Почему некоторые компиляторы это отказываются компилировать ?

Я бы упростил постановку вопроса:

https://godbolt.org/z/P4do6chPo

#include <concepts>

struct D
{
    struct FService
    {
        int  nFService_ = 0;
    };

    static_assert(std::default_initializable<FService>); // error: static assertion failed
};

Какого Х?