T doit-il être un type complet pour être utilisé dans `std :: declval <T>`?

Considérez cet exemple (venant d' ici ):

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

Il compile sans erreur sur gcc9.2 mais gcc7.2 et clang 10.0.0 se plaignent de Bne pas être complets. L'erreur Clangs est:

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 source de l'erreur n'est pas std::declval, mais l'accès aux membres de classe est incomplet.

Jusqu'à ce que la résolution de CWG1836 soit fusionnée il y a 2,5 ans, la norme exigeait que la classe soit complète dans une expression d'accès de membre de classe ( E1.E2).
[expr.ref] / 2 en C ++ 11 :

Pour la première option (point), la première expression doit avoir un type de classe complet.

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

Pour la première option (point), la première expression doit être une valeur gl ayant un type de classe complet.

Et une classe n'est pas considérée comme complète en alias-declarationsoi member-specification.
[class.mem] / 6 en C ++ 17 :

Une classe est considérée comme un type d'objet complètement défini ([basic.types]) (ou type complet) à la fermeture }du spécificateur de classe . Dans la spécification de membre de classe , la classe est considérée comme complète dans les corps de fonction, les arguments par défaut, les spécificateurs noexcept et les initialiseurs de membre par défaut (y compris ces éléments dans les classes imbriquées). Sinon, il est considéré comme incomplet dans sa propre classe spécification de membre de .

De [déclal] :

Remarques: Le paramètre Tde modèle dedeclval peut être un type incomplet.

Cette formulation est présente depuis C ++ 11 (il n'est donc pas possible pour les compilateurs de se conformer à une norme antérieure)