¿T tiene que ser un tipo completo para ser usado en `std :: declval <T>`?

Considere este ejemplo (viniendo de aquí ):

#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;
}

Se compila sin errores en gcc9.2 pero gcc7.2 y clang 10.0.0 se quejan de Bno estar completos. El error de Clangs es:

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;
                               ~~~^

La fuente del error no es el std::declvalacceso incompleto a los miembros de la clase.

Hasta que la resolución de CWG1836 se fusionó hace 2.5 años, el estándar requería que la clase se completara en una expresión de acceso de miembro de clase ( E1.E2).
[expr.ref] / 2 en C ++ 11 :

Para la primera opción (punto), la primera expresión tendrá un tipo de clase completo.

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

Para la primera opción (punto), la primera expresión será un valor de gl que tenga un tipo de clase completo.

Y una clase no se considera completa en alias-declarationsí misma member-specification.
[class.mem] / 6 en C ++ 17 :

Una clase se considera un tipo de objeto completamente definido ([basic.types]) (o tipo completo) al cierre }del especificador de clase . Dentro de la especificación de miembro de clase , la clase se considera completa dentro de los cuerpos de función, argumentos predeterminados, noexcept-specifier s e inicializadores de miembro predeterminados (incluidas esas cosas en clases anidadas). De lo contrario, se considera incompleto dentro de su propia especificación de miembro de clase .

De [declive] :

Observaciones: el parámetro Tde plantilla declvalpuede ser de tipo incompleto.

Esta redacción ha estado presente desde C ++ 11 (por lo que no es posible que los compiladores se ajusten a un estándar anterior)