问是否在另一个成员函数的尾随函数内得到了推导成员函数的decltype？

EN

尾随返回类型不是类的完整类上下文的事实并不能解释为什么这个问题中的代码不能编译，尽管它解释了对另一个问题的答案中给出的代码的拒绝，特别是涉及的成员函数的代码的一部分qux，并baz如由OP说明。

请注意，@ NathanOliver 下面的注释基于以下猜想：foo下面的成员函数的内联定义只是语法糖。这需要从标准中的引用证明。我还没有找到。一旦产生了这个引用，我肯定会接受一个答案，认为代码没有编译，因为trailing-return-type不是类的完整类上下文。

struct Test {
        auto foo() {}                       
        auto bar() -> decltype(foo()) {}
    };

prog.cc:3:32: error: use of 'auto Test::foo()' before deduction of 'auto'
    3 |     auto bar() -> decltype(foo()) {}
      |                                ^
prog.cc:3:32: error: use of 'auto Test::foo()' before deduction of 'auto'

[dcl.spec.auto] / 9：

如果具有使用占位符类型的声明的返回类型的函数没有非丢弃的返回语句，则推断返回类型，就好像在函数体的右括号处没有操作数的return语句一样。[例如： auto f() { } // OK, return type is void auto* g() { } // error, cannot deduce auto* from void() - 结束例子]

[dcl.type.auto.deduct] /（2.1）：

A型T包含占位符类型，和相应的初始值设定e，被确定如下： （2.1）对于在包含占位符类型的返回类型声明的函数中发生的非废弃返回语句，T是声明的返回类型，并且e 是return语句的操作数。如果return语句没有操作数，那么e是void() ; （2.2）对于使用包含占位符类型的类型声明的变量，T是变量的声明类型，e是初始值设定项。如果初始化是直接列表初始化，则初始化器应该是一个braced-init-list，只包含一个赋值表达式，e是赋值表达式; （2.3）对于使用包含占位符类型的类型声明的非类型模板参数，T是非类型模板参数的声明类型，e是相应的模板参数。

根据[dcl.spec.auto] / 9和[dcl.type.auto.deduct] /（2.1），代码应该编译。但GCC和支持者拒绝了它。我遗漏了什么？