Can some code from book actually complie?

[JalanChao]

#include <iostream>
#include <type_traits>

template < bool AddOrRemoveRef >
struct Fun_;

template <>
struct Fun_< true > {
    template < typename T >
    using type = std::add_lvalue_reference< T >;
};

template <>
struct Fun_< false > {
    template < typename T >
    using type = std::remove_reference< T >;
};

// 注意这里的高级用法
template < typename T >
template < bool AddOrRemoveRef >
using Fun = typename Fun_< AddOrRemoveRef >::template type< T >; //error

// 即使是有别名，还是需要显式说明模板
template < typename T >
using Res_ = Fun< false >;

int main()
{
    Res_< int& >::type h = 3;
    std::cout << h << std::endl;
    return 0;
}

I have tested these code with clang14 and gcc11 and gcc9 all failed. [{ "resource": "/root/code/cpp/vscode/Books/TemplateMetaProgrammingPractice/1.2.1templateAsMetaFucntionInput.cpp", "owner": "generated_diagnostic_collection_name#1", "code": "alias_template_extra_headers", "severity": 8, "message": "Extraneous template parameter list in alias template declaration", "source": "clang", "startLineNumber": 22, "startColumn": 1, "endLineNumber": 22, "endColumn": 6 }]