blob: 458f1cdf8562394d67a3a8e62254c968304f5944 [file] [log] [blame]
// PR c++/101247
// { dg-do compile { target concepts } }
// A variant of concepts-memtmpl5.C that uses a partial specialization
// of A instead of the primary template.
template<class, class> struct A;
template<class T, class U> requires true struct A<T, U> {
template<class V> static constexpr bool d = true;
static void g() requires d<U>;
int main() {
A<int, char>::g();