Разрешены ли указатели на чисто виртуальные функции-члены локальных классов? ⇐ C++

[Anonymous]

Рассмотрим следующий фрагмент:

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

int main() {
struct Local {
virtual void foo() = 0;
};

void (Local::*ptr)() = &A::foo;
}

При компиляции с помощью C++20 GCC 13.3.0 и Clang 18.1.3 компилируют этот код, но MSVC с 19.39 по 19.43 генерирует следующую ошибку компилятора:

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

H:\a.cpp(3,18): error C3640: 'main::Local::[thunk]: __cdecl `int __cdecl main(void)'::`2'::Local::`vcall'{0,{flat}}' }'': a referenced or virtual member function of a local class must be defined [H:\build\a.vcxproj]

Я не смог найти в стандарте ничего, что могло бы доказать правоту любого компилятора. Правильно ли сформирован фрагмент кода?
Пример в Compiler Explorer

Подробнее здесь: https://stackoverflow.com/questions/798 ... es-allowed