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

2021-09-22 Thread Patrick Palka via Gcc-patches
On Tue, 21 Sep 2021, Jason Merrill wrote: > 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_argu

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

2021-09-21 Thread 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