1 // { dg-options "-std=c++17 -fconcepts" }
3 template <typename, typename>
5 static constexpr bool value = true;
8 template <typename T, typename U>
9 concept bool Same = is_same<T, U>::value;
12 concept bool Integral = requires {
13 { T () } -> Same<typename T::value_type>;
17 using value_type = bool;