https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94597
--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Patrick Palka <ppa...@gcc.gnu.org>: https://gcc.gnu.org/g:08d6ec14e654292340ccc6aa5612bbd91d4d57e8 commit r10-7848-g08d6ec14e654292340ccc6aa5612bbd91d4d57e8 Author: Patrick Palka <ppa...@redhat.com> Date: Tue Apr 21 10:56:57 2020 -0400 c++: Dependent conversion operator in concept [PR94597] When building the parameter mapping for an atomic constraint, find_template_parameters does not spot the template parameter within the conversion-type-id of a dependent conversion operator, which later leads to an ICE during substitution when looking up the missing template argument for this unnoticed template parameter. gcc/cp/ChangeLog: PR c++/94597 * pt.c (any_template_parm_r) <case IDENTIFIER_NODE>: New case. If this is a conversion operator, visit its TREE_TYPE. gcc/testsuite/ChangeLog: PR c++/94597 * g++.dg/cpp2a/concepts-conv2.C: New test.
