Объявление псевдонимов для анонимных классов ⇐ C++

[Anonymous]

Попытка создать псевдоним анонимному классу, например:

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

struct {
int i = 0;
} a;

// error C7626 in MSVC
using A = decltype(a);

выдает ошибку в компиляторе Visual Studio:

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

error C7626: unnamed class used in typedef name cannot declare members other than non-static data members, member enumerations, or member classes

Согласно документации Microsoft, это было сделано для соответствия стандарту P1766R1, который запрещает имена typedef для целей связывания. Правильно ли MSVC отклоняет программу?
И если это правильно, то следует также отклонить следующий псевдоним, поскольку он дает имя тому же классу:

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

template
struct C {
using R = T;
T t;
};

// ok in MSVC
using A = decltype(C(a))::R;

что на самом деле принимается MSVC, онлайн-демо?


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