]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/20_util/decay/requirements/typedefs-2.cc
1 // { dg-options "-std=gnu++1y" }
4 // Copyright (C) 2013 Free Software Foundation, Inc.
6 // This file is part of the GNU ISO C++ Library. This library is free
7 // software; you can redistribute it and/or modify it under the
8 // terms of the GNU General Public License as published by the
9 // Free Software Foundation; either version 3, or (at your option)
12 // This library is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 // GNU General Public License for more details.
17 // You should have received a copy of the GNU General Public License along
18 // with this library; see the file COPYING3. If not see
19 // <http://www.gnu.org/licenses/>.
21 #include <type_traits>
25 template<typename Trait
, typename Result
>
26 using test
= is_same
<typename
Trait::type
, Result
>;
28 static_assert( test
<decay
<bool>, decay_t
<bool>>(), "decay<bool>" );
29 static_assert( test
<decay
<const int>, decay_t
<const int>>(),
31 static_assert( test
<decay
<int[4]>, decay_t
<int[4]>>(), "decay<int[4]>" );
32 typedef void (fn_type
) ();
33 static_assert( test
<decay
<fn_type
>, decay_t
<fn_type
>>(), "decay<fn_type>" );
34 typedef void (cfn_type
) () const;
35 static_assert( test
<decay
<cfn_type
>, decay_t
<cfn_type
>>(), "decay<cfn_type>" );