[Bug c++/115775] User-defined deduction guide ignored for alias template if the alias passes on a template template parameter to the aliased class template

[xry111 at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115775

Xi Ruoyao <xry111 at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |xry111 at gcc dot gnu.org

--- Comment #2 from Xi Ruoyao <xry111 at gcc dot gnu.org> ---
Clang says:

<source>:35:10: error: deduction guide template contains a template parameter
that cannot be deduced
   35 | explicit C(SI) -> C<B, std::make_unsigned_t<SI>>;
      |          ^
<source>:34:16: note: non-deducible template parameter 'B'
   34 | template <bool B, std::signed_integral SI>
      |                ^
1 error generated.

but I'm not sure if this is correct (or more correct than GCC).