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


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

// PR c++/68666
// { dg-options "-std=c++17 -fconcepts" }

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

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

C{T} struct B {};