GCC 9.1 返回 void& 作为显式析构函数调用的结果类型。这是一个错误吗？

我正在尝试获得此级别定义的检查工作，这取决于decltype(std::declval<Foo>().~Foo())是CC_1如果Foo具有destructor(如果已定义，则它具有destructor(…(否则不明显，在这种情况下调用Sfinae。

但是，我无法获得与GCC 9.1一起使用的代码，这是因为GCC 9.1似乎认为该类型为void & 如果destructor默认为，请考虑以下示例：

#include <type_traits>
class Foo {
public:
// With this, the DestructorReturnType below becomes "void"
//    ~Foo () {} 
};
// … unless I specify the user-defined destructor above, in which case it is "void"
using DestructorReturnType = decltype(std::declval<Foo>().~Foo());
template<class T>
class TD;
// Says: aggregate 'TD<void&> t' has incomplete type and cannot be defined
TD<DestructorReturnType> t;

(可在https://gcc.godbolt.org/z/k1tjop上找到(

如果我用户定义了一个空的破坏者，则类型会跳回void。另外，如果我切换回GCC 8.x。

[expr.call]中的C 17标准状态：

如果后缩 - 表达式指定了驱动器，则函数调用表达式的类型是无效的。[…]

由于所有这些，我怀疑GCC 8.X(和Clang，…(是正确的，而GCC 9.1是错误的。还是我错过了什么？