152
|
1 // { dg-options "-std=gnu++2a" }
|
|
2 // { dg-do compile { target c++2a } }
|
|
3
|
|
4 // Copyright (C) 2020 Free Software Foundation, Inc.
|
|
5 //
|
|
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)
|
|
10 // any later version.
|
|
11
|
|
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.
|
|
16
|
|
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/>.
|
|
20
|
|
21 #include <iterator>
|
|
22 #include <istream>
|
|
23
|
|
24 // C++20 doesn't require this to be non-throwing.
|
|
25 static_assert( std::is_nothrow_constructible_v<std::istream_iterator<int>,
|
|
26 std::default_sentinel_t> );
|
|
27
|
|
28 constexpr std::istream_iterator<int> i = std::default_sentinel;
|
|
29
|
|
30 struct X { X() noexcept(false); };
|
|
31 std::istream& operator<<(std::istream&, X&);
|
|
32
|
|
33 static_assert( std::is_constructible_v<std::istream_iterator<X>,
|
|
34 std::default_sentinel_t> );
|
|
35 static_assert( ! std::is_nothrow_constructible_v<std::istream_iterator<X>,
|
|
36 std::default_sentinel_t> );
|