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

   1 // PR c++/67117
   2 // { dg-options "-std=c++17 -fconcepts" }
   3
   4 template <class T>
   5   requires false
   6 constexpr bool v = true;
   7
   8 template <class T>
   9 constexpr bool f() { return true; }
  10
  11 template <class T>
  12   requires v<T>
  13 constexpr bool f() { return false; }
  14
  15 static_assert(f<void>());
  16 static_assert(v<void>);         // { dg-error "invalid" }