gcc/testsuite/g++.dg/concepts/pr68683.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template <typename, typename>
   4 struct is_same {
   5   static constexpr bool value = true;
   6 };
   7
   8 template <typename T, typename U>
   9 concept bool Same = is_same<T, U>::value;
  10
  11 template <typename T>
  12 concept bool Integral = requires {
  13   { T () } -> Same<typename T::value_type>;
  14 };
  15
  16 struct A {
  17   using value_type = bool;
  18 };
  19
  20 int main () {
  21   Integral<A>;
  22   Integral<A>;
  23   return 0;
  24 }