Чи повинен бути T повного типу, щоб використовувати його в `std :: declval <T>`?

Розглянемо цей приклад ( звідси ):

#include <type_traits>
#include <iostream>
template <typename U>
struct A {
};

struct B {
   template <typename F = int>
   A<F> f() { return A<F>{}; }

   using default_return_type = decltype(std::declval<B>().f());
};

int main()
{
    B::default_return_type x{};
    std::cout << std::is_same< B::default_return_type, A<int>>::value;
}

Він компілюється без помилок на gcc9.2, але gcc7.2 та clang 10.0.0 скаржаться на неповне Bзавершення. Помилка Клангса:

prog.cc:11:58: error: member access into incomplete type 'B'
   using default_return_type = decltype(std::declval<B>().f());
                                                         ^
prog.cc:7:8: note: definition of 'B' is not complete until the closing '}'
struct B {
       ^
prog.cc:16:8: error: no type named 'default_return_type' in 'B'
    B::default_return_type x{};
    ~~~^
prog.cc:17:35: error: no member named 'default_return_type' in 'B'
    std::cout << std::is_same< B::default_return_type, A<int>>::value;
                               ~~~^

Джерелом помилки не є std::declval, а неповний доступ для учасників класу.

До тих пір, поки резолюцію CWG1836 не було об'єднано 2,5 роки тому, стандарт вимагав, щоб клас був завершений у виразі доступу до класу ( E1.E2).
[expr.ref] / 2 в C ++ 11 :

Для першого варіанту (крапка) перший вираз повинен мати повний тип класу.

[expr.ref] / 2 в C ++ 17 :

Для першого варіанту (крапка) перший вираз має бути glvalue, що має тип повного класу.

І клас не вважається закінченим в alias-declarationмежах власного member-specification.
[class.mem] / 6 в C ++ 17 :

Клас вважається повністю певним типом об'єкта ([basic.types]) (або повний типу) при закритті }цього класу специфікатор . У специфікації члена класу клас вважається завершеним у функціональних органах, аргументах за замовчуванням, специфікаторами noexcept і ініціалізаторами за замовчуванням (включаючи такі речі в вкладені класи). В іншому випадку він вважається неповним у специфікації його власного класу .

Від [declval] :

Примітка: Параметр шаблону Tз declvalможе бути неповним типом.

Таке формулювання існує з C ++ 11 (тому компілятори не можуть відповідати попередньому стандарту)