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

[Anonymous]

Это попытка создать псевдоним анонимного класса:

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

struct {
int i = 0;
} a;

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

Это приводит к ошибке в Visual Studio:

ошибка C7626: безымянный класс, используемый в имени typedef, не может объявлять члены, кроме нестатических элементов данных, перечислений членов или классов-членов.

Согласно документации 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