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

   1 // PR c++/67139
   2 // { dg-do compile { target c++17 } }
   3 // { dg-options "-fconcepts" }
   4
   5 template <class T>
   6 constexpr typename T::type::value_type _v = T::type::value;
   7
   8 template <class T> concept IsTrue_ = _v<T>;
   9
  10 template <class T> concept Unpossible =
  11   IsTrue_<T &&>;
  12
  13 template <class> constexpr bool unpossible() { return false; }
  14 template<Unpossible T>
  15 constexpr bool unpossible() { return true; }
  16
  17 static_assert((!unpossible<void>()), "");