Re: [PATCH] c++: concept-ids and value-dependence [PR102412]

[Jason Merrill via Gcc-patches]

On 9/21/21 09:30, Patrick Palka wrote:
      case TEMPLATE_ID_EXPR:
-      return concept_definition_p (TREE_OPERAND (expression, 0));
+      return concept_definition_p (TREE_OPERAND (expression, 0))
+       && any_dependent_template_arguments_p (TREE_OPERAND (expression, 1));

Hmm, do we even need to check concept_definition_p?  Even if other 
template-ids don't get here, if they did they would also be dependent if 
they had dependent template arguments.

OK either way.

Jason