PR c++/104291
gcc/cp/ChangeLog:
* pt.cc (for_each_template_parm_r) <case CONSTRUCTOR>: Clear
walk_subtrees if !include_nondeduced_p. Simplify given that
cp_walk_subtrees already walks TYPE_PTRMEMFUNC_FN_TYPE_RAW.
gcc/testsuite/ChangeLog:
* g++.dg/template/partial20.C: New test.
*walk_subtrees = 0;
break;
- case CONSTRUCTOR:
- if (TREE_TYPE (t) && TYPE_PTRMEMFUNC_P (TREE_TYPE (t))
- && pfd->include_nondeduced_p)
- WALK_SUBTREE (TYPE_PTRMEMFUNC_FN_TYPE (TREE_TYPE (t)));
- break;
-
case INDIRECT_REF:
case COMPONENT_REF:
/* If there's no type, then this thing must be some expression
return error_mark_node;
break;
+ case CONSTRUCTOR:
case TRAIT_EXPR:
case PLUS_EXPR:
case MULT_EXPR:
--- /dev/null
+// PR c++/104291
+// { dg-do compile { target c++20 } }
+
+struct A { int x; };
+
+template<auto> struct B;
+template<int N> struct B<A{N}> { }; // { dg-error "not deducible" }