diff --git a/gcc/cp/pt.cc b/gcc/cp/pt.cc index 214ad8468be..67238000109 100644 --- a/gcc/cp/pt.cc +++ b/gcc/cp/pt.cc @@ -27892,6 +27892,15 @@ type_dependent_expression_p (tree expression) && DECL_INITIAL (expression)) return true; + /* Pull a FUNCTION_DECL out of a BASELINK if we can. */ + if (BASELINK_P (expression)) + { + if (BASELINK_OPTYPE (expression) + && dependent_type_p (BASELINK_OPTYPE (expression))) + return true; + expression = BASELINK_FUNCTIONS (expression); + } + /* A function or variable template-id is type-dependent if it has any dependent template arguments. */ if (VAR_OR_FUNCTION_DECL_P (expression) diff --git a/gcc/testsuite/g++.dg/cpp1z/nontype-auto21.C b/gcc/testsuite/g++.dg/cpp1z/nontype-auto21.C new file mode 100644 index 00000000000..376d63269cb --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp1z/nontype-auto21.C @@ -0,0 +1,20 @@ +// PR c++/105964 +// { dg-do compile { target c++17 } } + +struct token {}; + +struct example {}; + +template< typename > +struct helper +{ + static constexpr auto c() { return 42; } +}; + +struct impostor_c +{ + template< typename T, auto= helper< T >::c > + static example func(); +}; + +example c= impostor_c::func< token >();