]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/20_util/is_nothrow_invocable/incomplete_args_neg.cc
1 // { dg-do compile { target c++17 } }
3 // Copyright (C) 2020-2023 Free Software Foundation, Inc.
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 3, or (at your option)
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 // GNU General Public License for more details.
16 // You should have received a copy of the GNU General Public License along
17 // with this library; see the file COPYING3. If not see
18 // <http://www.gnu.org/licenses/>.
20 // { dg-error "must be a complete class" "" { target *-*-* } 0 }
22 #include <type_traits>
28 std::is_nothrow_invocable
<int(X
), X
>(); // { dg-error "required from here" }
29 std::is_nothrow_invocable
<int(int, X
), int, X
>(); // { dg-error "required from here" }
30 std::is_nothrow_invocable
<int(int, X
), X
, int>(); // { dg-error "required from here" }
33 std::is_nothrow_invocable
<int(X
&), X
&>(); // { dg-bogus "required from here" }
34 std::is_nothrow_invocable
<int(int, X
&), int, X
&>(); // { dg-bogus "required from here" }
36 std::is_nothrow_invocable
<int(X
&&), X
&&>(); // { dg-bogus "required from here" }
37 std::is_nothrow_invocable
<int(int, X
&&), int, X
&&>(); // { dg-bogus "required from here" }
39 std::is_nothrow_invocable
<int(const X
&&), const X
&&>(); // { dg-bogus "required from here" }
40 std::is_nothrow_invocable
<int(int, const X
&&), int, const X
&&>(); // { dg-bogus "required from here" }
42 std::is_nothrow_invocable
<int(const X
&), const X
&>(); // { dg-bogus "required from here" }
43 std::is_nothrow_invocable
<int(int, const X
&), int, const X
&>(); // { dg-bogus "required from here" }
45 std::is_nothrow_invocable
<int(const X
&), X
&>(); // { dg-bogus "required from here" }
46 std::is_nothrow_invocable
<int(int, const X
&), int, X
&>(); // { dg-bogus "required from here" }
51 std::is_nothrow_invocable_r
<int, int(X
), X
>(); // { dg-error "required from here" }
52 std::is_nothrow_invocable_r
<int, int(int, X
), int, X
>(); // { dg-error "required from here" }
53 std::is_nothrow_invocable_r
<int, int(int, X
), X
, int>(); // { dg-error "required from here" }
56 std::is_nothrow_invocable_r
<int, int(X
&), X
&>(); // { dg-bogus "required from here" }
57 std::is_nothrow_invocable_r
<int, int(int, X
&), int, X
&>(); // { dg-bogus "required from here" }
59 std::is_nothrow_invocable_r
<int, int(X
&&), X
&&>(); // { dg-bogus "required from here" }
60 std::is_nothrow_invocable_r
<int, int(int, X
&&), int, X
&&>(); // { dg-bogus "required from here" }
62 std::is_nothrow_invocable_r
<int, int(const X
&&), const X
&&>(); // { dg-bogus "required from here" }
63 std::is_nothrow_invocable_r
<int, int(int, const X
&&), int, const X
&&>(); // { dg-bogus "required from here" }
65 std::is_nothrow_invocable_r
<int, int(const X
&), const X
&>(); // { dg-bogus "required from here" }
66 std::is_nothrow_invocable_r
<int, int(int, const X
&), int, const X
&>(); // { dg-bogus "required from here" }
68 std::is_nothrow_invocable_r
<int, int(const X
&), X
&>(); // { dg-bogus "required from here" }
69 std::is_nothrow_invocable_r
<int, int(int, const X
&), int, X
&>(); // { dg-bogus "required from here" }