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

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