Концепция `std::movable` оценивается как false для пустого класса в Visual C++. ⇐ C++

[Anonymous]

Моя программа на C++20 отлично работает при компиляции с помощью GCC или Clang. Но когда я собираю его в Visual Studio, возникает непредвиденная ошибка компиляции.
Максимально сокращенный пример:

Код: Выделить всё

#include 

template
struct MyContainer {
MyContainer() = default;
explicit MyContainer( std::size_t ) requires( std::default_initializable );
void resize( std::size_t ) requires( std::movable && std::default_initializable ) {}
};

struct A;
struct B {
MyContainer c;
};
struct A{};

int main() {
B b;
b.c.resize( 42 );
}

Ошибка MSVC

Код: Выделить всё

(18): error C7500: 'resize': no function satisfied its constraints
(7): note: could be 'void MyContainer::resize(size_t)'
(7): note: the 'MyContainer::resize' constraint was not satisfied
(7): note: the concept 'std::movable' evaluated to false

Онлайн-демо: https://gcc.godbolt.org/z/cs5Pa7xzv
Содержит ли программа что-то противозаконное или ошибка неверна?

Подробнее здесь: https://stackoverflow.com/questions/791 ... n-visual-c