Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/g++.dg/cpp1y/var-templ42.C @ 152:2b5abeee2509
update gcc11
author | anatofuz |
---|---|
date | Mon, 25 May 2020 07:50:57 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
// PR c++/67131 // { dg-do compile { target c++14 } } template <typename T> typename T::_ type; template <template <typename...> class> struct A; template <template <typename> class f> A<f> metafunction; namespace detail { template <typename> struct _decltype; } template <template <typename...> class F> struct A { template <typename... T> auto operator()() -> decltype(type<F<detail::_decltype<T>...>>); }; template <typename F> auto valid_call(F f) -> decltype(f()); constexpr auto valid_call(...) { return 0; } template <typename> struct no_type; static_assert(!valid_call(metafunction<no_type>),"");