1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8
9 // <list>
10 // UNSUPPORTED: c++03, c++11, c++14
11 // UNSUPPORTED: libcpp-no-deduction-guides
12
13
14 // template <class InputIterator, class Allocator = allocator<typename iterator_traits<InputIterator>::value_type>>
15 // list(InputIterator, InputIterator, Allocator = Allocator())
16 // -> list<typename iterator_traits<InputIterator>::value_type, Allocator>;
17 //
18
19
20 #include <list>
21 #include <iterator>
22 #include <cassert>
23 #include <cstddef>
24 #include <climits> // INT_MAX
25
26 struct A {};
27
main(int,char **)28 int main(int, char**)
29 {
30 // Test the explicit deduction guides
31
32 // Test the implicit deduction guides
33 {
34 // list (allocator &)
35 std::list lst((std::allocator<int>())); // expected-error {{no viable constructor or deduction guide for deduction of template arguments of 'list'}}
36 // Note: The extra parens are necessary, since otherwise clang decides it is a function declaration.
37 // Also, we can't use {} instead of parens, because that constructs a
38 // deque<allocator<int>, allocator<allocator<int>>>
39 }
40
41
42 return 0;
43 }
44