c++: Fix template parm with dependent type in concepts.
authorJason Merrill <jason@redhat.com>
Tue, 24 Mar 2020 22:25:17 +0000 (18:25 -0400)
committerJason Merrill <jason@redhat.com>
Tue, 24 Mar 2020 22:25:18 +0000 (18:25 -0400)
commit5c1617418432466f3f91d282d356bdec91e9dbd2
treeaac1fbf15d6cdc9db1491fd3cc0ab70d2ba8e23c
parent6e771c087b10d5b730240ea35478eab8694c9c5d
c++: Fix template parm with dependent type in concepts.

While looking at PR94186 I also noticed this regression; if a non-type
template parameter uses a type parameter in its type, we need to map both
template parameters.

gcc/cp/ChangeLog
2020-03-24  Jason Merrill  <jason@redhat.com>

* pt.c (any_template_parm_r): Look into the type of a non-type
template parm.
gcc/cp/ChangeLog
gcc/cp/pt.c
gcc/testsuite/g++.dg/cpp2a/concepts-nonbool2.C [new file with mode: 0644]