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

   1 // PR c++/68666
   2 // { dg-options "-std=c++17 -fconcepts" }
   3
   4 struct A {
   5   template <class>
   6   static constexpr bool val = true;
   7 };
   8
   9 template <class T>
  10 concept bool C = A::val<T>;
  11
  12 C{T} struct B {};