gcc/testsuite/g++.dg/concepts/var-templ3.C


1
2
3
4
5
6
7
8
9
10
11
12
13

// PR c++/68666
// { dg-do compile { target c++17 } }
// { dg-options "-fconcepts" }

struct A {
  template <class>
  static constexpr bool val = true;
};

template <class T>
concept bool C = A::val<T>;

C{T} struct B {};