Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/g++.dg/cpp2a/concepts-pr67774.C @ 145:1830386684a0
gcc-9.2.0
author | anatofuz |
---|---|
date | Thu, 13 Feb 2020 11:34:05 +0900 |
parents | |
children |
line wrap: on
line source
// { dg-do compile { target c++2a } } // { dg-additional-options "-fconcepts-ts" } #include <type_traits> #include <utility> #include <iostream> template <class X> concept bool cpt_RealScalar() { return std::is_floating_point<X>::value; } namespace detail { template <class, class> constexpr bool k_evaluator_impl = false; template <std::size_t... Indexes, class E> constexpr bool k_evaluator_impl<std::index_sequence<Indexes...>, E> = true; } template <class X, std::size_t K> concept bool cpt_KEvaluator = detail::k_evaluator_impl<std::make_index_sequence<K>, X>; int main() { auto f = [](int, int, int) -> double { return 3; }; std::cout << cpt_KEvaluator<decltype(f)> << '\n'; // { dg-error "wrong number of template arguments" } return 0; }