Тип перечислителя в объявлении его перечисления

В C ++, в частности в C ++ 14 n4296, есть два параграфа, говорящих о типе перечислителя, что мне кажется противоречивым. См. 7.2 / 5 (то есть 10.2 / 5 в n4659):

Каждое перечисление определяет тип, который отличается от всех других типов. Каждое перечисление также имеет базовый тип. Базовый тип может быть явно указан с помощью enum-base. Для перечисляемого типа с ограниченным диапазоном базовым типом является int, если он не указан явно. В обоих этих случаях базовый тип считается фиксированным. После закрывающей скобки спецификатора перечисления каждый перечислитель имеет тип своего перечисления. Если базовый тип является фиксированным, типом каждого перечислителя перед закрывающей скобкой является базовый тип и константное выражение в определении перечислителя должно быть преобразованным константным выражением базового типа […]

И 5.1.1 / 11 (то есть 8.1.4.2/4 в n4659) пишет:

Спецификатор вложенного имени, который обозначает перечисление (7.2), за которым следует имя перечислителя этого перечисления, является квалифицированным идентификатором, который ссылается на перечислитель. Результатом является счетчик. Тип результата — это тип перечисления. Результатом является prvalue.

Затем, что происходит, когда мы обращаемся к перечислителю через nested-name-спецификатор до закрывающей фигурной скобки объявления? Возьмем, к примеру, следующий фрагмент:

template < typename T1, typename T2 >
struct fail_if_not_same {
static_assert(std::is_same<T1, T2>::value, "Fail!");
static constexpr int value = 0;
};

enum class E : short {
A,
B = A + 1,
C = fail_if_not_same<decltype(B), short>::value,
D = fail_if_not_same<decltype(E::B), short>::value
};

Какой тип выражения E::B выше? Это противоречие в стандарте? Как gcc, так и clang следует 7.2 / 5.