https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83181
Eddie Nolan <eddiejnolan at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |eddiejnolan at gmail dot com --- Comment #3 from Eddie Nolan <eddiejnolan at gmail dot com> --- Here's another example: template <typename T, typename U> struct foo {}; template<typename T, typename U> foo(T&&) -> foo<T, U>; Clang says: <source>:5:1: error: deduction guide template contains a template parameter that cannot be deduced 5 | foo(T&&) -> foo<T, U>; | ^ <source>:4:31: note: non-deducible template parameter 'U' 4 | template<typename T, typename U> | ^ But GCC accepts it.